Notes on Categorical Logic
Book information
Similar books
Lecture Notes on Denotational Semantics
2012 · PDF
Categorical Logic
1995 · PDF
Nominal Sets: Names and Symmetry in Computer Science
2013 · PDF
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
1991 · PDF
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
1989 · PDF
Semantics and logics of computation
2009 · DJVU
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
1989 · DJVU
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
1991 · DJVU