The following pages link to Categorical logic and type theory (Q1279608):
Displayed 50 items.
- Elementary axioms for local maps of toposes (Q1861481) (← links)
- Paracategories. I: Internal paracategories and saturated partial algebras (Q1884899) (← links)
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Coreflections in algebraic quantum logic (Q1929301) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Univalence and completeness of Segal objects (Q2104885) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Morphisms of open games (Q2134815) (← links)
- Cartesian integral categories and contextual integral categories (Q2134825) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- Dialectica logical principles (Q2151422) (← links)
- An algebraic theory for data linkage (Q2185883) (← links)
- Modular operads and the nerve theorem (Q2189486) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials (Q2231000) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- The Grothendieck construction for model categories (Q2354395) (← links)
- Internal languages of finitely complete \((\infty , 1)\)-categories (Q2414596) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Voltage lifts of graphs from a category theory viewpoint (Q2697636) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- Quantum Logic in Dagger Kernel Categories (Q2825365) (← links)
- Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories (Q2825368) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Comprehension for Coalgebras (Q2842555) (← links)