Articoli correlati a Lambda-Calculus and Combinators: An Introduction
Sinossi
This book gives an account of combinatory logic and lambda-calculus models.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sugli autori
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoShips from the UK. Former library...
Visualizza questo articolo
EUR 67,49
EUR 5,79 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 86,06
EUR 10,41 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Lambda-Calculus and Combinators: An Introduction
Foto dell'editore
Lambda-Calculus and Combinators : An Introduction
Editore:
Cambridge University Press, 2008
ISBN 10: 0521898854
ISBN 13: 9780521898850
Antico o usato
Rilegato
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 51895009-20
Quantità: 1 disponibili
Foto dell'editore
Lambda-Calculus and Combinators : An Introduction
Editore:
Cambridge University Press, 2008
ISBN 10: 0521898854
ISBN 13: 9780521898850
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 51895009-20
Quantità: 1 disponibili
Foto dell'editore
Lambda-Calculus and Combinators: An Introduction
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521898850_new
Quantità: Più di 20 disponibili
Foto dell'editore
Lambda-Calculus and Combinators: An Introduction
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521898850
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lambda-Calculus and Combinators : An Introduction
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5576970-n
Quantità: Più di 20 disponibili
Foto dell'editore
Lambda-Calculus and Combinators: An Introduction
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 2nd edition. 360 pages. 9.25x6.00x1.00 inches. In Stock. This item is printed on demand. Codice articolo __0521898854
Quantità: 1 disponibili
Immagini fornite dal venditore
Lambda-Calculus and Combinators
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many . Codice articolo 446952907
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Lambda-Calculus and Combinators : An Introduction
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5576970-n
Quantità: Più di 20 disponibili
Foto dell'editore
Lambda-Calculus and Combinators: An Introduction
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 642. Codice articolo C9780521898850
Quantità: Più di 20 disponibili
Foto dell'editore
Lambda-Calculus and Combinators
Editore:
Cambridge University Press CUP, 2008
ISBN 10: 0521898854
ISBN 13: 9780521898850
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 358 Index. Codice articolo 26538577
Quantità: 1 disponibili