A Semantic Proof of Polytime Soundness of Light Affine Logic
From MaRDI portal
Publication:3503632
DOI10.1007/978-3-540-79709-8_16zbMath1142.68360OpenAlexW1816061770MaRDI QIDQ3503632
Publication date: 5 June 2008
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_16
Semantics in the theory of computing (68Q55) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)