Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25-27, 1975 [monographie] |
| Auteur(s): | Böhm, Corrado (1923-....) (Ed.) |
| Langue: | anglais |
| Collection: | Lecture notes in computer science, n° 37 |
| Editeur, date d'édition: | Springer, 1975 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| Congrés: | Lambda-calculus and computer science theory (1975) Rome (IT) |
| ISBN: | 3-540-07416-3 ; 0-387-07416-3 |
| ISSN: | 0302-9743 |
| Classification MSC: | 68A05 (2000) |
| Notes: | xii ; notes bibliogr. ; 24 cm ; 370 p. |
| Thèmes: | programming languages, langage de programmation, combinatory logic |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BOH 75 | Disponible |