Axiomatization of calculus of constructions

DOI10.1007/BFB0021086MaRDI QIDQ4594256zbMATH OpenFDO

Authors Yong Sun

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/BFB0021086

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 1116652
• Type checking with universes
• scientific article; zbMATH DE number 4014064
• A simple model construction for the calculus of constructions
• The calculus of constructions

Cited in

(6)

• An algebraic generalization of Frege structures -- binding algebras
• Calculus of task-constructive objects and their interpretations: II
• scientific article; zbMATH DE number 1082078 (Why is no real title available?)
• scientific article; zbMATH DE number 1116652 (Why is no real title available?)
• Some axioms for constructive analysis
• On the proof theory of Coquand's calculus of constructions

This page was built for publication: Axiomatization of calculus of constructions

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