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 nuovo
Visualizza questo articolo
EUR 74,35
EUR 7,65 per la spedizione in U.S.A.
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, 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
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
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9780521898850
Quantità: 2 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
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190021093
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
Foto dell'editore
Lambda-Calculus and Combinators: An Introduction (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521898854
ISBN 13: 9780521898850
Nuovo
Rilegato
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book. 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 examples and exercises. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521898850
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
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
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