Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704005
DOI10.1007/b135690zbMath1114.03050OpenAlexW2501230561MaRDI QIDQ5704005
Paolo Coppola, Ugo Dal Lago, Simonetta Ronchi della Rocca
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
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items
Light logics and optimal reduction: completeness and complexity ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Light types for polynomial time computation in lambda calculus ⋮ Type Inference for a Polynomial Lambda Calculus
