A λ-calculus with explicit weakening and explicit substitution
From MaRDI portal
Publication:2713357
DOI10.1017/S0960129500003224zbMath0972.68028MaRDI QIDQ2713357
Publication date: 7 May 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (11)
Strongly-Normalizing Higher-Order Relational Queries ⋮ Nominal rewriting ⋮ On explicit substitution with names ⋮ Choices in representation and reduction strategies for lambda terms in intensional contexts ⋮ Resource operators for \(\lambda\)-calculus ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ A prismoid framework for languages with resources ⋮ The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations ⋮ A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi ⋮ Normalisation for higher-order calculi with explicit substitutions ⋮ Lambda-calculus with director strings
This page was built for publication: A λ-calculus with explicit weakening and explicit substitution
