4 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Sylvain Salvati, Igor Walukiewicz
We consider lambda-Y-calculus as a non-interpreted functional programming language: the result of the execution of a program is its normal form that can be seen as the tree of call…