Stratified coherence spaces: A denotational semantics for light linear logic

DOI10.1016/j.tcs.2003.10.015zbMath1051.03050WikidataQ56092883 ScholiaQ56092883MaRDI QIDQ1827389

Patrick Baillot

Publication date: 6 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.10.015

zbMATH Keywords

linear logic; coherent spaces; light linear logic; proof-nets

Mathematics Subject Classification ID

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

Related Items

A semantic measure of the execution time in linear logic, Type inference for light affine logic via constraints on words, Light affine lambda calculus and polynomial time strong normalization, Light types for polynomial time computation in lambda calculus, Linear logic by levels and bounded time complexity, Linear logic and elementary time, Characterizing polynomial and exponential complexity classes in elementary lambda-calculus, Realizability models for BLL-like languages, An abstract approach to stratification in linear logic

Cites Work

• Linear logic
• Light linear logic
• Linear types and non-size-increasing polynomial time computation.
• Linear logic and elementary time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item