Solvability in Resource Lambda-Calculus
From MaRDI portal
Publication:3557862
DOI10.1007/978-3-642-12032-9_25zbMath1246.68086OpenAlexW1528473059MaRDI QIDQ3557862
Michele Pagani, Simonetta Ronchi della Rocca
Publication date: 27 April 2010
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_25
Related Items
A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization, What is a categorical model of the differential and the resource λ-calculi?, Unnamed Item, A resource aware semantics for a focused intuitionistic calculus, Non-Deterministic Functions as Non-Deterministic Processes (Extended Version), Initial Algebras of Terms with Binding and Algebraic Structure, The bang calculus revisited, The bang calculus revisited, Unnamed Item, Reasoning About Call-by-need by Means of Types, Intersection Types for the Resource Control Lambda Calculi, Essential and relational models
