research
∙
11/02/2021
A strong call-by-need calculus
We present a call-by-need λ-calculus that enables strong reduction (that...
research
∙
08/06/2021
Use your Google Account to sign in to DeepAI