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