Deriving logical relations from interpretations of predicate logic

DOI10.1016/J.ENTCS.2019.09.013MaRDI QIDQ2133176zbMATH OpenOpenAlexWikidataFDO

Authors Claudio Hermida, Uday S. Reddy, 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

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

Recommendations

• Automata, Languages and Programming
• Prelogical relations
• Logical relations for monadic types
• scientific article; zbMATH DE number 1948186
• scientific article; zbMATH DE number 1670816

Cites work

• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Categorical logic and type theory
• Codensity liftings of monads
• Computer Science Logic
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• Fibrational induction rules for initial algebras
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• Logical relations for monadic types
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• Some properties of Fib as a fibred \(2\)-category

Cited in

(1)

• scientific article; zbMATH DE number 1424059 (Why is no real title available?)

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

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