scientific article; zbMATH DE number 1182707

MaRDI QIDQ4400779zbMATH OpenFDO

Authors Karl H. Hofmann, Michael Mislove

Publication date 24 February 1999

zbMATH Keywords

Cartesian closed categoriesnon-degenerate reflexive objecttyped lambda calculiuntyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• scientific article; zbMATH DE number 742719
• scientific article; zbMATH DE number 4103048
• Not Enough Points Is Enough
• Retraction map categories and their applications to the construction of lambda calculus models
• scientific article; zbMATH DE number 3889501

Cited in

(4)

• Topology, domain theory and theoretical computer science
• Retraction map categories and their applications to the construction of lambda calculus models
• scientific article; zbMATH DE number 742719 (Why is no real title available?)
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

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