Full abstraction for the second order subset of an ALGOL-like language

DOI10.1007/3-540-58338-6_107zbMath1493.68062OpenAlexW4235791276MaRDI QIDQ5096919

Kurt Sieber

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58338-6_107

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Monoidal indeterminates and categories of possible worlds ⋮ Monoidal Indeterminates and Categories of Possible Worlds

Cites Work

• LCF considered as a programming language
• Unnamed Item
• Unnamed Item

This page was built for publication: Full abstraction for the second order subset of an ALGOL-like language