First-order functional languages and intensional logic

DOI10.1017/S0956796897002633zbMATH Open0870.68036OpenAlexW2164371360MaRDI QIDQ4339019

Author name not available (Why is that?)

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

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

Related Items (2)

Properties of a first-order functional language with sharing ⋮ Title not available (Why is that?)

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)