research
∙
02/21/2023
A Deforestation of Reducts: Refocusing
In a small-step semantics with a deterministic reduction strategy, refoc...
research
∙
02/28/2022
Use your Google Account to sign in to DeepAI