λ-calculus and computer science theory - proceedings of the Symposium on λ-calculus... held in Rome March 25-27, 1975, organized by the IAC-CNR

Författare
Symposium on λ-calculus and computer science theory 1975) (Roma :
(Ed. by C. Böhm.)
Genre
Konferenspublikation
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer 1975 Tyskland, Berlin, New York 370 sidor. ill., tab.