On phase semantics and denotational semantics: The exponentials
From MaRDI portal
Publication:5939845
DOI10.1016/S0168-0072(00)00056-7zbMath1004.03051OpenAlexW1965630431MaRDI QIDQ5939845
Antonio Bucciarelli, Thomas Ehrhard
Publication date: 3 February 2003
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00056-7
sequent calculuscoherence spacesdenotational semanticsindexd linear logicphase semanticspropositional linear logic
Related Items
A General Class of Models of $\mathcal{H}^*$, A completeness theorem for symmetric product phase spaces, Execution time of λ-terms via denotational semantics and intersection types, Non-Deterministic Functions as Non-Deterministic Processes (Extended Version), Visible acyclic differential nets. I: Semantics, The Scott model of linear logic is the extensional collapse of its relational model, Coherent differentiation, Relational Models for the Lambek Calculus with Intersection and Constants, Node Replication: Theory And Practice, Non-idempotent intersection types in logical form, Tight typings and split bounds, fully developed, Unnamed Item, Unnamed Item, An Indexed System for Multiplicative Additive Polarized Linear Logic, Generalized bounded linear logic and its categorical semantics, The spirit of node replication, Uniformity and the Taylor expansion of ordinary lambda-terms, Unnamed Item, The bang calculus revisited, Unnamed Item, The bang calculus revisited, Non-uniform (hyper/multi)coherence spaces, Unnamed Item, Non-Uniform Hypercoherences, A MALL geometry of interaction based on indexed linear logic, Relational model of second order linear logic
Cites Work
- Linear logic
- Kripke logical relations and PCF
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- The finite model property for various fragments of linear logic
- A completeness theorem for symmetric product phase spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
