Publication:3024846
From MaRDI portal
zbMath1063.03522MaRDI QIDQ3024846
Publication date: 4 July 2005
03B40: Combinatory logic and lambda calculus
Related Items
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations, 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, Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting