The Theory of Calculi with Explicit Substitutions Revisited
From MaRDI portal
Publication:3608416
DOI10.1007/978-3-540-74915-8_20zbMath1179.03022MaRDI QIDQ3608416
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.1343
03B40: Combinatory logic and lambda calculus
Related Items
New Developments in Environment Machines, Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus, A prismoid framework for languages with resources, On explicit substitution with names, The Prismoid of Resources, Jumping Boxes, From Reduction-Based to Reduction-Free Normalization
Uses Software