scientific article; zbMATH DE number 5872259

MaRDI QIDQ3086779zbMATH OpenFDO

Authors Peter B. Andrews

Publication date 30 March 2011

zbMATH Keywords

connection methodexpansion treesproving theorems in Church's typed lambda-calculus

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Cited in

(3)

• On higher-order logical grounds
• scientific article; zbMATH DE number 7288621 (Why is no real title available?)
• A Non-clausal Connection Calculus

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