You are not logged in.
Pages: 1
Topic closed
I found a list of classic texts in computer science, very interesting!
An axiomatic basis for computer programming
C. A. R. HoareCommunicating Sequential Processes (CSP)
C. A. R. HoareCall-by-name, call-by-value, and the lambda calculus
Gordon PlotkinTowards a theory of type structure
John C. ReynoldsDefinitional 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)
Uh ok yeah sure...
;)
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
Pages: 1
Topic closed