call-by-name | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: call-by-name

2022.11.18
A Typed Lambda-Calculus with First-Class Configurations A Typed Lambda-Calculus with First-Class Configurations

lambda-calculus, natural deduction, call-by-value, call-by-name, duality, delimited continuation, bilateralism