scientific article; zbMATH DE number 517041

MaRDI QIDQ4282569zbMATH OpenFDO

Authors R. Hoofman, Harold Schellinx

Publication date 17 March 1994

zbMATH Keywords

combinatory algebrasgraph modelsuntyped lambda calculusweak Cartesian closed category

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4004153
• On combinatory algebras and their expansions
• Collapsing partial combinatory algebras
• scientific article; zbMATH DE number 3889500
• On the existence of extensional partial combinatory algebras

Cited in

(3)

• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• scientific article; zbMATH DE number 4004153 (Why is no real title available?)
• scientific article; zbMATH DE number 7085087 (Why is no real title available?)

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