scientific article; zbMATH DE number 4061194

zbMATH Open0651.03006MaRDI QIDQ3795649FDOQ3795649

Authors: Peter B. Andrews 

Publication date: 1987

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

zbMATH Keywords

lambda-calculusautomated theorem provingsimple type theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Cited In (8)

• The TPS theorem proving system
• Infinite \(\lambda\)-calculus and types
• Some lambda calculus and type theory formalized
• Automath and Pure Type Systems
• Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus
• Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
• Typed ψ-calculi
• Using typed lambda calculus to implement formal systems on a machine

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