Lax logical relations

DOI10.1007/3-540-45022-X_9MaRDI QIDQ2754136zbMATH OpenFDO

Authors Donald Sannella, Robert D. Tennent, Gordon D. Plotkin, John Power

Publication date 11 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-45022-X_9

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Categorical logic, topoi (03G30) Functional programming and lambda calculus (68N18)

Recommendations

• Logical relations for monadic types
• scientific article; zbMATH DE number 1948186
• scientific article; zbMATH DE number 2090019
• scientific article; zbMATH DE number 3902022
• Prelogical relations

Cited in

(13)

• Prelogical relations
• Deriving logical relations from interpretations of predicate logic
• Cryptographic logical relations
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• Semantics of higher-order quantum computation via geometry of interaction
• A note on logical relations between semantics and syntax
• Models for the computational -calculus
• Category theoretic models of data refinement
• Axiomatics for data refinement in call by value programming languages
• Differential logical relations. I: The simply-typed case
• Lax theory morphisms
• Computer Science Logic
• How much is in a square? Calculating functional programs with squares

This page was built for publication: Lax logical relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754136)