An operational approach to combining classical set theory and functional programming languages

DOI10.1007/3-540-57887-0_89MaRDI QIDQ4490719zbMATH OpenFDO

Authors Scott D. Stoller, Douglas J. Howe

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_89

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Logic and functional programming by retractions : operational semantics
• A domain-theoretic approach to functional and logic programming
• scientific article; zbMATH DE number 515740
• scientific article; zbMATH DE number 4016167
• scientific article; zbMATH DE number 4043306

Cited in

(5)

• Meaning explanations at higher dimension
• Unifying Sets and Programs via Dependent Types
• Logic and functional programming by retractions : operational semantics
• Unifying sets and programs via dependent types
• scientific article; zbMATH DE number 515740 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle/ZF
• Nuprl

This page was built for publication: An operational approach to combining classical set theory and functional programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490719)