Deriving logical relations from interpretations of predicate logic

DOI10.1016/J.ENTCS.2019.09.013OpenAlexW2992472379WikidataQ113317350 ScholiaQ113317350MaRDI QIDQ2133176FDOQ2133176

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

Recommendations

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

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)

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)