The following pages link to Categorical logic and type theory (Q1279608):
Displaying 50 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Modeling Martin-Löf type theory in categories (Q280835) (← links)
- Coalgebraic update lenses (Q283736) (← links)
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Martin-Löf complexes (Q385803) (← links)
- Fibred 2-categories and bicategories (Q393515) (← links)
- Toward weakly enriched categories: co-Segal categories (Q393527) (← links)
- Bifibrations and weak factorisation systems (Q421477) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Duality in non-abelian algebra. III. Normal categories and 0-regular varieties (Q510427) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- The rôle of categorical structures in infinitesimal calculus (Q530113) (← links)
- Monads in double categories (Q531324) (← links)
- Probabilities, distribution monads, and convex categories (Q549198) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- Comprehensive factorisation systems (Q680308) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- The proof monad (Q974136) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Cartesian closed Dialectica categories (Q998318) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A natural semantics of first-order type dependency (Q1314402) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- System theory for system identification. (Q1421324) (← links)
- A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- The algebra of partial equivalence relations (Q1744396) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- Equilogical spaces (Q1826625) (← links)