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

2017-10-27 Thread Jinx 

I think this is exactly what I wanted!
thank u for ur help!



___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

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

2017-10-27 Thread Phil Bewig 
http://delivery.acm.org/10.1145/81/808386/p215-mccarthy.pdf?ip=198.209.225.227=808386=ACTIVE%20SERVICE=F82E6B88364EF649%2EEA777AEEAA51B01B%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35=999374817=78744412&__acm__=1509128711_9f195cf9fe92408377c1edaff75b3e69

On Fri, Oct 27, 2017 at 1:16 PM, Erik Falor  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 #445632http://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

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

2017-10-27 Thread Erik Falor 
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 #445632http://unnovative.net


signature.asc
Description: PGP signature
___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

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

2017-10-27 Thread Jinx 

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


thank u !





___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users