Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!G.BBN.COM!FWHITE
From: FWHITE@G.BBN.COM
Newsgroups: comp.lang.scheme
Subject: Re: Limitation with lambda
Message-ID: <[G.BBN.COM]20-Oct-88.11:03:02.FWHITE>
Date: 20 Oct 88 15:03:00 GMT
References: <4557@polya.Stanford.EDU>
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 11


  In "A Basis for a Mathematical Theory of Computation"* by
McCarthy, which dates from the 1961 Western Joint Computer
Conference, McCarthy mentions that Y can be used to eliminate
LABEL but at the expense of giant resulting expressions.

  Who did invent Y, anyways?

------------
* Reprinted in "Computer Programming and Formal Systems", 
P. Braffort & D. Hirschberg eds, 1967. See pp 46-7.