The Structural λ-Calculus
From MaRDI portal
Publication:3586054
DOI10.1007/978-3-642-15205-4_30zbMath1287.03034MaRDI QIDQ3586054
Delia Kesner, Beniamino Accattoli
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_30
03B40: Combinatory logic and lambda calculus
Related Items
A resource aware semantics for a focused intuitionistic calculus, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Tight typings and split bounds, fully developed, Unnamed Item, The bang calculus revisited, A strong call-by-need calculus, Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic, A faithful and quantitative notion of distant reduction for generalized applications, A prismoid framework for languages with resources, Proof nets and the call-by-value \(\lambda\)-calculus, The bang calculus revisited, The spirit of node replication, Classical By-Need, Unification for $$\lambda $$ -calculi Without Propagation Rules