7 citations · 11 across the 10 of their papers we have counts for
1 paper · 2 filters
M. H. van Emden
A comparison of Landin's form of lambda calculus with Church's shows that, independently of the lambda calculus, there exists a mechanism for converting functions with arguments in…