LebGeeks

samer

Admin

Classic texts in Computer Science

I found a list of classic texts in computer science, very interesting!

An axiomatic basis for computer programming
C. A. R. Hoare

Communicating Sequential Processes (CSP)
C. A. R. Hoare

Call-by-name, call-by-value, and the lambda calculus
Gordon Plotkin

Towards a theory of type structure
John C. Reynolds

Definitional interpreters for higher-order programming languages
John C. Reynolds
read more

(page might take a while to load since i'm using the Corale Cache of the page because the site has exceeded its allocated bandwidth)

rolf

Member

Re: Classic texts in Computer Science

Uh ok yeah sure...
;)

mir

Member

Re: Classic texts in Computer Science

yiiy.. the lambda calcul

halla2 i am business computer , not computer science bass i read a while ago kint bil  bac - terminal about the lambda calcul in science et vie and found it interesting  .. that article was one of my favorite readings

lol thanks for the links ... bass ha2i2atan won't read now.. maybe later .. if got time = never