Publication:5286647
From MaRDI portal
zbMath0790.68068MaRDI QIDQ5286647
Publication date: 5 July 1993
68Q55: Semantics in the theory of computing
68-02: Research exposition (monographs, survey articles) pertaining to computer science
18C10: Theories (e.g., algebraic theories), structure, and semantics
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03F50: Metamathematics of constructive systems
Related Items
Classical predicative logic-enriched type theories, The proof monad, A minimalist two-level foundation for constructive mathematics, Independence of the induction principle and the axiom of choice in the pure calculus of constructions, Typed operational semantics for higher-order subtyping., On completeness and cocompleteness in and around small categories, Containers: Constructing strictly positive types, Kripke Semantics for Martin-Löf’s Extensional Type Theory