7 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
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…