<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-05-20 10:56:44Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic |
| arXiv:quant-phv1 15 DecA Categorical Quantum Logic Samson Abramsky Ross DuncanDocID: 1tYSN - View Document |
| Int J Theor Phys: 769–802 DOIs10773A Link between Quantum Logic and Categorical Quantum Mechanics John HardingDocID: 1tMie - View Document |
| From Categorical Logic to Facebook Engineering Peter O’Hearn Facebook & University College London Abstract I chart a line of development from category-theoreticDocID: 1tyg3 - View Document |
| Categorical Semantics for Linear Logic Wolfgang JeltschDocID: 1t6wj - View Document |
| page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika InstituutDocID: 1sRem - View Document |