Login / Signup

Transplanting of Environments between Closures in the lambda calculus.

Shin-ya Nishizaki
Published in: ICSCA (2023)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • data structure
  • high level