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