scientific article; zbMATH DE number 5872259

zbMATH Open1226.03025MaRDI QIDQ3086779FDOQ3086779

Authors: Peter B. Andrews 

Publication date: 30 March 2011

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

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
• Title not available (Why is that?)
• 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)