scientific article; zbMATH DE number 4037816

MaRDI QIDQ3777989zbMATH OpenFDO

Authors Jan Kuper

Publication date 1987

zbMATH Keywords

\(\lambda \)-calculus modelintuitive objectsmathematical objectsset theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Nonclassical and second-order set theories (03E70)

Recommendations

• Models of the lambda calculus: an introduction
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• An axiomatic theory for partial functions
• A set theory with support for partial functions
• Towards a computation system based on set theory

Cited in

(1)

• Representation of certain functions under Martin's axiom

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