First-order functional languages and intensional logic

DOI10.1017/S0956796897002633MaRDI QIDQ4339019zbMATH OpenOpenAlexFDO

Authors

Publication date 7 September 1997

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796897002633

zbMATH Keywords

dataflow machinesfirst-order functional languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Higher-order functional languages and intensional logic
• First-order intensional logic
• First-order logic and first-order functions
• scientific article; zbMATH DE number 88983
• Synthesis of functional programs with help of first-order intuitionistic logic
• Axiomatization of a functional logic language
• scientific article; zbMATH DE number 4043306
• First-order logic definability of free languages
• scientific article; zbMATH DE number 1696583
• Logical Bisimulations and Functional Languages

Cited in

(5)

• Higher-order functional languages and intensional logic
• scientific article; zbMATH DE number 1852924 (Why is no real title available?)
• Properties of a first-order functional language with sharing
• Efficient intensional implementation for lazy functional languages
• scientific article; zbMATH DE number 51768 (Why is no real title available?)

This page was built for publication: First-order functional languages and intensional logic

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