scientific article; zbMATH DE number 823591

MaRDI QIDQ4856946zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 5 December 1995

zbMATH Keywords

classical propositional logiccombinatorscombinatory logiclambda calculuslambda termsproof transformationstype assignmenttype theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2038177
• Combinatory logic with polymorphic types
• Combinatory logic. Pure, applied and typed
• Logic and computation in a lambda calculus with intersection and union types
• scientific article; zbMATH DE number 3941502
• scientific article; zbMATH DE number 1868900
• Classical predicative logic-enriched type theories
• scientific article; zbMATH DE number 2185659
• Some lambda calculus and type theory formalized
• scientific article; zbMATH DE number 3941503

Cited in

(22)

• Proof-finding algorithms for classical and subclassical propositional logics
• Semantics for dual and symmetric combinatory calculi
• Some lambda calculus and type theory formalized
• Combinatory logic with polymorphic types
• Proof-theoretic semantics for classical mathematics
• The classical -calculus characteristics and their application for the effective outcome of the logic equations
• scientific article; zbMATH DE number 1678362 (Why is no real title available?)
• scientific article; zbMATH DE number 2185659 (Why is no real title available?)
• A finite axiomatization of propositional type theory in pure lambda calculus
• scientific article; zbMATH DE number 4143942 (Why is no real title available?)
• Restoration of types in reflexive combinatory logic
• Classical combinatory logic
• scientific article; zbMATH DE number 3941502 (Why is no real title available?)
• scientific article; zbMATH DE number 1302066 (Why is no real title available?)
• scientific article; zbMATH DE number 2038177 (Why is no real title available?)
• On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
• The axiom of choice and combinatory logic
• A-translation and looping combinators in pure type systems
• scientific article; zbMATH DE number 851066 (Why is no real title available?)
• Denotational semantics of the simplified lambda-mu calculus and a new deduction system of classical type theory
• Classical logic with Mendler induction
• Typed Lambda Calculi and Applications

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