Correspondencebetween ALGOL 60 andChurch'sLambda-notation P. J. Landin1965 год

Correspondence between ALGOL 60 and Church's Lambda-notation
статья из журнала