Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704029
DOI10.1007/b135690zbMath1114.03049MaRDI QIDQ5704029
Kazushige Terui, Patrick Baillot
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135690
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
Light logics and optimal reduction: completeness and complexity, Light types for polynomial time computation in lambda calculus, Quantum implicit computational complexity, An Elementary Affine λ-Calculus with Multithreading and Side Effects, Type Inference for a Polynomial Lambda Calculus