scientific article; zbMATH DE number 65528

zbMATH Open0754.03012MaRDI QIDQ4012876FDOQ4012876

Authors: Philippe de Groote 

Publication date: 27 September 1992

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

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

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)

Cited In (5)

• Definition and basic properties of the Deva meta-calculus
• The calculus of context relations
• Title not available (Why is that?)
• An extended type system with lambda-typed lambda-expressions
• Title not available (Why is that?)

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)