Deriving logical relations from interpretations of predicate logic

DOI10.1016/j.entcs.2019.09.013OpenAlexW2992472379WikidataQ113317350 ScholiaQ113317350MaRDI QIDQ2133176

Uday S. Reddy, Claudio Hermida, Edmund P. Robinson

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.09.013

zbMATH Keywords

fibrationslogical relationscategorical type theorymonadic types

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• Categorical logic and type theory
• Some properties of Fib as a fibred \(2\)-category
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• Logical relations for monadic types
• Fibrational Induction Rules for Initial Algebras
• Computer Science Logic

This page was built for publication: Deriving logical relations from interpretations of predicate logic