scientific article; zbMATH DE number 4143942

MaRDI QIDQ3475243zbMATH OpenFDO

Authors Martin W. Bunder

Publication date 1989

zbMATH Keywords

arithmeticinconsistencyillative combinatory logicaxiom of extentoverlapping types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Intersection types for combinatory logic
• Combinatory logic with polymorphic types
• A compositional typed higher-order logic with definitions
• Finite combinatory logic with intersection types
• Combining logics in simple type theory
• Higher-Order Logic and Type Theory
• Implementing type theory in higher order constraint logic programming
• scientific article; zbMATH DE number 3941502
• scientific article; zbMATH DE number 2209828
• scientific article; zbMATH DE number 823591

Cited in

(4)

• Bunder's paradox
• scientific article; zbMATH DE number 4121963 (Why is no real title available?)
• The axiom of choice and combinatory logic
• Some generalizations to two systems of set theory based on combinatory logic

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