Introduction to combinators and lambda-calculus
Cambridge [u.a.]: Cambridge University Press, 1986
Buch, Gedruckte Ressource
- 360 S.
Zugriff:
- Gemeinsame Mathematische Bibliothek (DE-82-101), Bibliothekskatalog
- Ruhr-Universität Bochum, Universitätsbibliothek (DE-294), Bibliothekskatalog
- Universität Bonn, Fachbibliothek Mathematik (DE-5-14), Bibliothekskatalog
- Universität Münster, Bibliothek des Fachbereichs Mathematik und Informatik (DE-6-022), Bibliothekskatalog
- Universitäts- und Landesbibliothek Düsseldorf (DE-61), Bibliothekskatalog
- Universitäts- und Landesbibliothek Münster, Zentralbibliothek (DE-6), Bibliothekskatalog
- Universitätsbibliothek Dortmund (DE-290), Bibliothekskatalog
- Universitätsbibliothek Duisburg-Essen (DE-465), Bibliothekskatalog
- Universitätsbibliothek Paderborn (DE-466), Bibliothekskatalog
- Universitätsbibliothek Trier (DE-385), Bibliothekskatalog
- Universitätsbibliothek Wuppertal (DE-468), Bibliothekskatalog
- Universitätsbibliothek der Fernuniversität (DE-708), Bibliothekskatalog
- Universitätsbibliothek der RWTH Aachen (DE-82), Bibliothekskatalog
Titel: |
Introduction to combinators and lambda-calculus
|
---|---|
Verantwortlichkeitsangabe: | J. Roger Hindley ; Jonathan P. Seldin |
Autor/in / Beteiligte Person: | Hindley, James Roger (1939-) [Autor/in] ; Seldin, Jonathan P. [Autor/in] |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Cambridge [u.a.]: Cambridge University Press, 1986 |
Medientyp: | Buch |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 360 S. |
ISBN: | 0521268966; 9780521268967; 0521318394; 9780521318396 |
Schlagwort: |
|
Sonstiges: |
|