http://delivery.acm.org/10.1145/810000/808386/p215-mccarthy.pdf?ip=198.209.225.227&id=808386&acc=ACTIVE%20SERVICE&key=F82E6B88364EF649%2EEA777AEEAA51B01B%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35&CFID=999374817&CFTOKEN=78744412&__acm__=1509128711_9f195cf9fe92408377c1edaff75b3e69
On Fri, Oct 27, 2017 at 1:16 PM, Erik Falor <ewfa...@gmail.com> wrote: > On Fri, Oct 27, 2017 at 05:35:32PM +0800, Jinx wrote: > > > > the Paper is about 2-3 pages long, at least can be downloaded on > > the internet for free in pdf, > > > > the content is on how to constuct lisp from several axioms, more in > > a math paper fashion. > > > > the paper is a late time working paper McCarthy, not the > > "Recursive Functions of ... Machine, Part I" , there might be some > > co-author. > > > > I have downloaded the paper one year ago, and cant find it now, > > and after a long search on the web, still get nothing, thats the > > most elegent paper in constructing the lisp in the axiomatic way, > > I am sure I will keep it carefully this time if u could help me > > on finding it > > Is what you are looking for similar to Paul Graham's 2002 paper "The > Roots of Lisp" [1], but authored by McCarthy himself? > > [1] http://3e8.org/pub/pdf-t1/the-roots-of-lisp.pdf > > -- > Erik Falor > Registered Linux User #445632 http://unnovative.net > > _______________________________________________ > Chicken-users mailing list > Chicken-users@nongnu.org > https://lists.nongnu.org/mailman/listinfo/chicken-users > >
_______________________________________________ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users