On the enumeration of closures and environments with an application to random generation

16 Oct 2019 Bendkowski Maciej Lescanne Pierre

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 environment is a list of lambda-terms assigned to free variables... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE
  • COMBINATORICS