First-order functional languages and intensional logic

DOI10.1017/S0956796897002633zbMATH Open0870.68036OpenAlexW2164371360MaRDI QIDQ4339019FDOQ4339019

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

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

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)

Cited In (5)

• Properties of a first-order functional language with sharing
• Title not available (Why is that?)
• Efficient intensional implementation for lazy functional languages
• Higher-order functional languages and intensional logic
• 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)