Semantical analysis of contextual types
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1241699 (Why is no real title available?)
- scientific article; zbMATH DE number 512773 (Why is no real title available?)
- scientific article; zbMATH DE number 1754648 (Why is no real title available?)
- scientific article; zbMATH DE number 226803 (Why is no real title available?)
- A framework for defining logics
- A modal analysis of staged computation
- A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Comprehension categories and the semantics of type dependency
- Contextual modal type theory
- Generalized algebraic theories and contextual categories
- Inductive beluga: programming proofs
- Internal type theory
- Internal universes in models of homotopy type theory
- Well-founded recursion over contextual objects
Cited in
(3)
This page was built for publication: Semantical analysis of contextual types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200843)