Extensional and Intensional Semantic Universes
From MaRDI portal
Publication:5145281
Recommendations
- Formalizing semantic bidirectionalization and extensions with dependent types
- Intensional models for the theory of types
- Extensional constructs in intensional type theory
- scientific article; zbMATH DE number 1678369
- A general semantic construction of dependent refinement type systems, categorically
- A relationally parametric model of dependent type theory
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Semantic types: a fresh look at the ideal model for types
- scientific article; zbMATH DE number 6680163
- Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
Cited in
(4)
This page was built for publication: Extensional and Intensional Semantic Universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145281)