scientific article; zbMATH DE number 65527

MaRDI QIDQ4012875zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 27 September 1992

zbMATH Keywords

Automath languagesterm correctnesstyped lambda calculusverification system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4058907
• scientific article; zbMATH DE number 512879
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• scientific article; zbMATH DE number 65526
• Automath and Pure Type Systems

Cited in

(6)

• Virtual worlds as meeting places for formal systems
• Towards an integration science. The influence of Richard Bellman on our research.
• A new implementation of Automath
• The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• N. G. de Bruijn's contribution to the formalization of mathematics

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