Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704029
DOI10.1007/b135690zbMath1114.03049MaRDI QIDQ5704029
Patrick Baillot, Kazushige Terui
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
Unnamed Item, Modular Inference of Linear Types for Multiplicity-Annotated Arrows, Light logics and optimal reduction: completeness and complexity, Light types for polynomial time computation in lambda calculus, Quantum implicit computational complexity, Combining linear logic and size types for implicit complexity, An Elementary Affine λ-Calculus with Multithreading and Side Effects, Type Inference for a Polynomial Lambda Calculus