Reflective semantics of constructive type theory

DOI10.1007/BFB0021081MaRDI QIDQ4594249zbMATH OpenFDO

Authors Scott F. Smith

Publication date 17 November 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0021081

Mathematics Subject Classification ID

Type theory (03B38) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 432706
• scientific article; zbMATH DE number 226803
• Semantics of constructions. I: The traditional approach
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• scientific article; zbMATH DE number 1302061

Cited in

(4)

• scientific article; zbMATH DE number 432706 (Why is no real title available?)
• The constructive reference theory. types and definite descriptions.
• scientific article; zbMATH DE number 785045 (Why is no real title available?)
• Adding proof objects and inductive definition mechanisms to Frege structures

This page was built for publication: Reflective semantics of constructive type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4594249)