scientific article; zbMATH DE number 65527

zbMATH Open0754.03011MaRDI QIDQ4012875FDOQ4012875

Authors: N. G. de Bruijn 

Publication date: 27 September 1992

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

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

zbMATH Keywords

typed lambda calculusverification systemAutomath languagesterm correctness

Mathematics Subject Classification ID

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

Cited In (6)

• Virtual worlds as meeting places for formal systems
• 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
• A new implementation of Automath
• Towards an integration science. The influence of Richard Bellman on our research.

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)