research
∙
02/13/2021
Strong Call-by-Value is Reasonable, Implosively
Whether the number of beta-steps in the lambda-calculus can be taken as ...
share
research
∙
07/13/2019
Sharing Equality is Linear
The λ-calculus is a handy formalism to specify the evaluation of higher-...
research
∙
07/13/2019
Crumbling Abstract Machines
Extending the lambda-calculus with a construct for sharing, such as let ...
research
∙
10/17/2018
