scientific article; zbMATH DE number 65528

MaRDI QIDQ4012876zbMATH OpenFDO

Authors Philippe de Groote

Publication date 27 September 1992

zbMATH Keywords

proof theorylambda calculusformal systemsoftware developmentsAutomath languageslanguage DEVA

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of software (68N99) Other applications of logic (03B80)

Recommendations

• Definition and basic properties of the Deva meta-calculus
• Coquand's calculus of constructions: A mathematical foundation for a proof development system
• scientific article; zbMATH DE number 4033055
• scientific article; zbMATH DE number 50754
• The generic development language. Presentation and case studies

Cited in

(5)

• Definition and basic properties of the Deva meta-calculus
• The calculus of context relations
• scientific article; zbMATH DE number 4033055 (Why is no real title available?)
• An extended type system with lambda-typed lambda-expressions
• scientific article; zbMATH DE number 50754 (Why is no real title available?)

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 Q4012876)