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