research
∙
02/28/2018
Reducing Lambda Terms with Traversals
We introduce a method to evaluate untyped lambda terms by combining the ...
research
∙
11/10/2017
Use your Google Account to sign in to DeepAI