Categorical logic
Top View
- An Introduction to Logic: from Everyday Life to Formal Systems Albert Mosley Smith College, [email protected]
- The History of Categorical Logic 1963–1977
- A Categorical Approach to Proofs-As-Programs
- Unbounded Quantifiers Via 2-Categorical Logic
- A Taste of Categorical Logic — Tutorial Notes
- The Generalised Type-Theoretic Interpretation of Constructive Set Theory
- Elements of Categorical Logic: Fifty Years Later
- From Categorical Logic to Facebook Engineering
- Lecture Notes: Introduction to Categorical Logic
- Locally Cartesian Closed Categories and Type Theory by R
- Categorical Logic
- Categorical Type Theory Preface
- The Generalised Type-Theoretic Interpretation of Constructive Set Theory Author(S): Nicola Gambino and Peter Aczel Source: the Journal of Symbolic Logic, Vol
- The Development of Categorical Logic
- Introduction to CATEGORY THEORY and CATEGORICAL LOGIC
- Categorical Models of Constructive Logic