13 citations · 54 across the 30 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
Combinatorics of explicit substitutions
Maciej Bendkowski, Pierre Lescanne
is an extension of the -calculus which internalises the calculus of substitutions. In the current paper, we investigate the combinatorial properties of f…
cs.LO2018
On the enumeration of closures and environments with an application to random generation
Maciej Bendkowski, Pierre Lescanne
Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environme…