Lambda-calculus with director strings
type: Item
instance of: scholarly article
title: Lambda-calculus with director strings
zbMATH Open document ID: 1101.68451
author: Maribel Fernández
author: Ian Mackie
author: François-Régis Sinot
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 2005-06-16T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 2176471
zbMATH Keywords: Explicit Substitutions
zbMATH Keywords: Director Strings
zbMATH Keywords: Strategies
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: s00200-005-0169-9
OpenAlex ID: W1974822280
cites work: Explicit substitutions
cites work: The bologna optimal higher-order machine
cites work: Q5397484
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: λν, a calculus of explicit substitutions which preserves strong normalisation
cites work: Explicit substitution. On the edge of strong normalization
cites work: Confluence properties of weak and strong calculi of explicit substitutions
cites work: A \(\lambda\)-calculus with explicit weakening and explicit substitution
cites work: Q5667469
cites work: Q3857730
cites work: Optimistic evaluation
cites work: Q4945227
cites work: A compiled implementation of strong reduction
cites work: Functional runtime systems within the lambda-sigma calculus
cites work: Director strings as combinators
cites work: Optimality and inefficiency: what isn't a cost model of the lambda calculus?
cites work: Q3024846
cites work: Q4259974
cites work: The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Q4447222
DOI: 10.1007/S00200-005-0169-9
Recommended article: Director strings as combinators
Recommended article: Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting
Recommended article: Q4261086
Recommended article: Enriching a Linear/Non-linear Lambda Calculus
Recommended article: Storage operators and directed lambda-calculus
Recommended article: Lambda calculus with patterns
Recommended article: The Intensional Lambda Calculus
Recommended article: Capturing strong reduction in director string calculus
Recommended article: The lambda-context calculus (extended version)
Recommended article: Q3714051
description: scientific article; zbMATH DE number 2176471