Logical Relations and Nondeterminism

DOI10.1007/978-3-319-15545-6_7zbMath1453.68048OpenAlexW951160772MaRDI QIDQ5256338

Martin Hofmann

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_7

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 (1)

On the Versatility of Open Logical Relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• LCF considered as a programming language
• Classical logic, storage operators and second-order lambda-calculus
• Relating Computational Effects by ⊤ ⊤-Lifting
• The Category-Theoretic Solution of Recursive Domain Equations
• A Powerdomain Construction
• Abstract effects and proof-relevant logical relations

This page was built for publication: Logical Relations and Nondeterminism