Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
From MaRDI portal
(Redirected from Publication:280200)
Recommendations
Cites work
- scientific article; zbMATH DE number 1670816 (Why is no real title available?)
- scientific article; zbMATH DE number 3882404 (Why is no real title available?)
- scientific article; zbMATH DE number 3735770 (Why is no real title available?)
- scientific article; zbMATH DE number 3748394 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 3561239 (Why is no real title available?)
- scientific article; zbMATH DE number 512784 (Why is no real title available?)
- scientific article; zbMATH DE number 512792 (Why is no real title available?)
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- scientific article; zbMATH DE number 1088040 (Why is no real title available?)
- scientific article; zbMATH DE number 1142318 (Why is no real title available?)
- scientific article; zbMATH DE number 1522506 (Why is no real title available?)
- scientific article; zbMATH DE number 2149937 (Why is no real title available?)
- scientific article; zbMATH DE number 3310090 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3058859 (Why is no real title available?)
- A categorical outlook on relational modalities and simulations
- Categorical logic and type theory
- Categorical models for Abadi and Plotkin's logic for parametricity
- Catégories structurées
- Closed systems of functions and predicates
- Core algebra revisited
- Data Refinement
- Foundations of algebraic specification and formal software development.
- Fundamental concepts in programming languages
- General Theory of Natural Equivalences
- Logical relations and the typed λ-calculus
- Parametricity and local variables
- Products of Automata and the Problem of Covering
- Proof of correctness of data representations
- Relation lifting, with an application to the many-valued cover modality
- Relational properties of domains
- Some properties of Fib as a fibred \(2\)-category
- Structural induction and coinduction in a fibrational setting
Cited in
(22)- Non-parametric parametricity
- Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
- Bisimulation as a logical relation
- Intensional harmony as isomorphism
- Towards a cubical type theory without an interval
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- Deriving logical relations from interpretations of predicate logic
- Relational limits in general polymorphism
- Non-parametric parametricity
- A general framework for relational parametricity
- Pointers in Recursion: Exploring the Tropics
- A fibrational tale of operational logical relations: pure, effectful and differential
- Parametricity as isomorphism
- Types, abstraction, and parametric polymorphism, part 2
- scientific article; zbMATH DE number 2061707 (Why is no real title available?)
- Bifibrational functorial semantics of parametric polymorphism
- Logical predicates in higher-order mathematical operational semantics
- Abstraction and invariance for algebraically indexed types
- scientific article; zbMATH DE number 7168146 (Why is no real title available?)
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- Relation lifting, a survey
- Universal properties for universal types in bifibrational parametricity
This page was built for publication: Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q280200)
