DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Categorical logic
Categorical logic
An Introduction to Category Theory and Categorical Logic
Categorical Semantics of Constructive Set Theory
Logic and Categories As Tools for Building Theories
Notes on Categorical Logic
Categorical Logic from a Categorical Point of View
Lecture Notes: Introduction to Categorical Logic
An Institutional View on Categorical Logic and the Curry-Howard-Tait-Isomorphism
Natural Number Objects in Dialectica Categories
An Institutional View on Categorical Logic
Categorical Logic and Type Theory
Categorical Aspects of Type Theory
A Unified Approach to Algebraic Set Theory
INTRODUCTION to CATEGORICAL LOGIC 1. Motivation We Want To
A Categorical Extension of the Curry-Howard Isomorphism
Categorical Logic
An Introduction to Topos Theory
1 Introduction to Categories and Categorical Logic
The Foundations of Categorical Model Theory, by Michael Makkai and Robert Paré
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