Lokale anonyme Unterprogramme

historische Schreibweise: λab.2a + b

(Alonzo Church: The Calculi of Lambda Conversion, 1941)

vgl. Henk Barendregt: The Impact of the Lambda Calculus, 1997, ftp://ftp.cs.ru.nl/pub/CompMath.Found/church.ps



Johannes Waldmann 2013-01-28