Publication:2753690
From MaRDI portal
zbMath0973.03038MaRDI QIDQ2753690
No author found.
Publication date: 3 December 2001
03B70: Logic in computer science
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
A Fresh Look at the λ-Calculus, A semantic measure of the execution time in linear logic, Light logics and optimal reduction: completeness and complexity, Type inference for light affine logic via constraints on words, Light affine lambda calculus and polynomial time strong normalization, A semantic proof of polytime soundness of light affine logic, Stratified coherence spaces: A denotational semantics for light linear logic