The following pages link to Categorical logic and type theory (Q1279608):
Displaying 50 items.
- Compositional Game Theory, Compositionally (Q5019677) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- (Q5020617) (← links)
- (Q5028440) (← links)
- (Q5028445) (← links)
- Linearizing Combinators (Q5037747) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Double categories of relations (Q5048019) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Six model categories for directed homotopy (Q5077344) (← links)
- Elementary fibrations of enriched groupoids (Q5084307) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- (Q5091148) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Stone Dualities from Opfibrations (Q5098723) (← links)
- (Q5104334) (← links)
- Displayed Categories (Q5111300) (← links)
- A categorical reduction system for linear logic (Q5137919) (← links)
- (Q5155676) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Type Theoretical Databases (Q5283422) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Sets in homotopy type theory (Q5740655) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- Double fibrations (Q5872359) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- (Q5875356) (← links)
- (Q5875359) (← links)
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- The algebra of the Feistel-Toffoli construction (Q6087902) (← links)
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES (Q6103450) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
