scientific article; zbMATH DE number 1418339

MaRDI QIDQ4941902zbMATH OpenFDO

Authors Soren B. Lassen, Andrew Moran

Publication date 19 March 2000

zbMATH Keywords

higher-order functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Unique Fixed Points in Domain Theory
• scientific article; zbMATH DE number 4194530
• THEOREMS OF UNIQUE FIXED POINT FOR EXPANSION MAPPINGS
• scientific article; zbMATH DE number 96477
• scientific article; zbMATH DE number 722479
• On some mappings with a unique fixed point
• Unique common fixed points through a unified condition
• Towards an existence proof of MacKay's fixed point
• scientific article; zbMATH DE number 1064197
• Proving the unique fixed-point principle correct: an adventure with category theory

Cited in

(5)

• On the representation of McCarthy's amb in the -calculus
• Normal form simulation for McCarthy's \textsf{amb}
• scientific article; zbMATH DE number 3902001 (Why is no real title available?)
• Amb Breaks Well-Pointedness, Ground Amb Doesn't
• Extracting total Amb programs from proofs

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