Category theory based on combinatory logic

DOI10.1007/BF02007137zbMath0545.03005MaRDI QIDQ3335754

Martin W. Bunder

Publication date: 1984

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138019

zbMATH Keywords

functor categoriesset theorieshigher order categoriesIllative combinatory logicNatural transformations

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Combinatory logic. Vol. II
• A weak absolute consistency proof for some systems of illative combinatory logic
• A one axiom set theory based on higher order predicate calculus
• Set theory in predicate calculus with equality
• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic

This page was built for publication: Category theory based on combinatory logic