On phase semantics and denotational semantics: The exponentials

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

zbMATH Keywords

sequent calculuscoherence spacesdenotational semanticsindexd linear logicphase semanticspropositional linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (26)

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

This page was built for publication: On phase semantics and denotational semantics: The exponentials