Lambda-Calculus and Combinators: An Introduction. Questo articolo non è disponibile.
23 valutazioni di Goodreads
Lingua: inglese
Editore: Cambridge University Press, 2008
- Rilegato
- Usato
Non disponibile
Rilegato
Condizione: Usato - Molto buono
EUR 58,97
Descrizione dell’articolo da parte del venditore
Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Codice articolo M00521898854-V
- Titolo
- Lambda-Calculus and Combinators: An Introduction
- Autore
- Hindley, J. Roger, Seldin, Jonathan P.
- Editore
- Cambridge University Press
- Anno di pubblicazione
- 2008
- Condizione
- very good
- Rilegatura
- Rilegato
- Lingua
- inglese
- ISBN 10
- 0521898854
- ISBN 13
- 9780521898850
- Edizione
- seconda edizione
This book gives an account of combinatory logic and lambda-calculus models.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Informazioni sull’autore
J. Roger Hindley is an Honorary Research Fellow at Swansea University, Wales. His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State University and Tokyo Institute of technology. This is his 7th book.
Jonathan P. Seldin is a Professor in the Department of Mathematics and Computer Science at the University of Lethbridge in Alberta, Canada.
Jonathan P. Seldin is a Professor in the Department of Mathematics and Computer Science at the University of Lethbridge in Alberta, Canada.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Lambda-Calculus and Combinators: An Introduction
Ci sono altre 13 copie di questo libroVisualizza tutti i risultati