A By-Level Analysis of Multiplicative Exponential Linear Logic
From MaRDI portal
Publication:3182938
DOI10.1007/978-3-642-03816-7_30zbMath1250.03122MaRDI QIDQ3182938
Luca Vercelli, Luca Roversi, Marco Gaboardi
Publication date: 16 October 2009
Published in: Mathematical Foundations of Computer Science 2009 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03816-7_30
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Implicit computation complexity in higher-order programming languages, An abstract approach to stratification in linear logic
Cites Work