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