Foundations of Software Science and Computation Structures

DOI10.1007/b95995zbMath1126.03311OpenAlexW3105029025MaRDI QIDQ5308439

Benjamin Werner, Georges Gonthier, Martín Abadi

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (3)

A flexible model for dynamic linking in Java and C\# ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Semantics and Proof Theory of the Epsilon Calculus

This page was built for publication: Foundations of Software Science and Computation Structures