52 citations · 92 across the 3 of their papers we have counts for
1 paper · 1 filter
Raul Rojas
This paper is a concise and painless introduction to the λ-calculus. This formalism was developed by Alonzo Church as a tool for studying the mathematical properties of effective…