Relative full completeness for bicategorical Cartesian closed structure
From MaRDI portal
Recommendations
- A type theory for Cartesian closed bicategories
- Coherence for bicategorical cartesian closed structure
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- Pointers in Recursion: Exploring the Tropics
- Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types
Cites work
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4085643 (Why is no real title available?)
- scientific article; zbMATH DE number 4108979 (Why is no real title available?)
- scientific article; zbMATH DE number 19484 (Why is no real title available?)
- scientific article; zbMATH DE number 45228 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1289305 (Why is no real title available?)
- scientific article; zbMATH DE number 1342278 (Why is no real title available?)
- scientific article; zbMATH DE number 1342281 (Why is no real title available?)
- scientific article; zbMATH DE number 512784 (Why is no real title available?)
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 1956503 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (Why is no real title available?)
- scientific article; zbMATH DE number 1392305 (Why is no real title available?)
- A 2-categories companion
- A Categorical Treatment of Ornaments
- A characterization of lambda definability in categorical models of implicit polymorphism
- A general coherence result
- An abstract formulation for rewrite systems
- Axiomatic Domain Theory in Categories of Partial Maps
- Bicategories of spans as cartesian bicategories
- Cartesian Bicategories II
- Cartesian bicategories. I
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Categories for Types
- Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
- Coherence for bicategories and indexed categories
- Enriched categories, internal categories and change of base
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
- Games and full completeness for multiplicative linear logic
- Games and strategies as event structures
- Introduction to bicategories
- Introduction to extensive and distributive categories
- Iteration 2-theories
- Kan extensions and lax idempotent pseudomonads
- Logical relations and the typed λ-calculus
- On operads, bimodules and analytic functors
- Polynomial functors and polynomial monads
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Remarks on isomorphisms in typed lambda calculi with empty and sum types
- The cartesian closed bicategory of generalised species of structures
- The virtues of eta-expansion
- Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
- Yoneda structures from 2-toposes
Cited in
(4)
This page was built for publication: Relative full completeness for bicategorical Cartesian closed structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200828)
