204 citations · 218 across the 4 of their papers we have counts for
1 paper · 1 filter
Andre van Tonder
The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. It provides a computational model equ…