by International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)
"The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming langua…