Re: [Chicken-users] help on find a lisp paper by John McCarthy

[Phil Bewig]

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 <address@hidden> 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
address@hidden
https://lists.nongnu.org/mailman/listinfo/chicken-users