Publication:3024846
From MaRDI portal
zbMath1063.03522MaRDI QIDQ3024846
Publication date: 4 July 2005
03B40: Combinatory logic and lambda calculus
Related Items
On explicit substitutions and names (extended abstract), The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations, The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus, A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi, Subtractive logic, Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus, A prismoid framework for languages with resources, Resource operators for \(\lambda\)-calculus, Explicit substitution. On the edge of strong normalization, Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions, Lambda-calculus with director strings, Pattern matching as cut elimination, Intersection types for explicit substitutions, On explicit substitution with names, Unification for $$\lambda $$ -calculi Without Propagation Rules, Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting