scientific article; zbMATH DE number 5872252

MaRDI QIDQ3086772zbMATH OpenFDO

Authors Peter B. Andrews

Publication date 30 March 2011

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177784
• Resolution and type theory
• A type-theoretic approach to resolution
• scientific article; zbMATH DE number 4195904
• A typed resolution principle for deduction with conditional typing theory
• scientific article; zbMATH DE number 1614692
• Automated proof construction in type theory using resolution
• An algebraic semantics approach to the effective resolution of type equations
• scientific article; zbMATH DE number 1342247
• Coinductive soundness of corecursive type class resolution

Cited in

(2)

• Splitting and reduction heuristics in automatic theorem proving
• Resolution and type theory

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