scientific article; zbMATH DE number 1116652

zbMATH Open0891.03003MaRDI QIDQ4376334FDOQ4376334

Authors: Yong Sun 

Publication date: 24 March 1998

Title of this publication is not available (Why is that?)

Recommendations

• Axiomatization of calculus of constructions
• Type checking with universes
• Coercive subtyping for the calculus of constructions (extended abstract)
• The calculus of constructions
• A calculus of constructions with explicit subtyping

zbMATH Keywords

axiomatizationequational logiccalculus of constructionsframework for binding operators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05) Metamathematics of constructive systems (03F50)

Cited In (1)

• Axiomatization of calculus of constructions

This page was built for publication:

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