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
signature.asc
Description: PGP signature
_______________________________________________ Chicken-users mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-users
