The following pages link to Categorical logic and type theory (Q1279608):
Displaying 50 items.
- Comprehension for coalgebras (Q2842555) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- A diagrammatic logic for object-oriented visual modeling (Q2864376) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Algebraic Databases (Q2981748) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- Displayed Categories (Q3121521) (← links)
- Network Models (Q3294957) (← links)
- Sets and Descent (Q3295820) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- Monoidal Grothendieck construction (Q3305544) (← links)
- Homotopies in Grothendieck fibrations (Q3305548) (← links)
- Two-dimensional models of type theory (Q3395310) (← links)
- Dependently Sorted Logic (Q3499748) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Weak ω-Categories from Intensional Type Theory (Q3637194) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- (Q3705457) (← links)
- (Q3714050) (← links)
- Introduction to higher order categorical logic (Q3727946) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q4555336) (← links)
- Recognizable languages of arrows and cospans (Q4585008) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- LOGICAL CONTEXTUALITY IN FREGE (Q4637946) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Deforestation, program transformation, and cut-elimination (Q4917034) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- Dynamic game semantics (Q4988428) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5014439) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- (Q5015193) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- (Q5019299) (← links)
