Reading, Writing and Relations

DOI10.1007/11924661_7zbMath1168.68356OpenAlexW2135620953MaRDI QIDQ5385590

Andrew J. Kennedy, Nick Benton, Lennart Beringer, Martin Hofmann

Publication date: 6 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11924661_7

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Automata-theoretic semantics of idealized Algol with passive expressions ⋮ Algebras for Parameterised Monads ⋮ A Kripke logical relation for effect-based program transformations ⋮ Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Proof-Relevant Logical Relations for Name Generation

This page was built for publication: Reading, Writing and Relations