Articles liés à The Lambda Calculus. Its Syntax and Semantics
Synopsis
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 28,17
EUR 4,62 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour The Lambda Calculus. Its Syntax and Semantics
Image d'archives
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)
Edité par
College Publications, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Ancien ou d'occasion
Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Poor. Volume 40. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pen markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9781848900660. N° de réf. du vendeur 9195171
Quantité disponible : 1 disponible(s)
Image d'archives
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Edité par
College Publications, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781848900660_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Edité par
College Publications 2012-04-30, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9781848900660
Quantité disponible : 10 disponible(s)
Image d'archives
The Lambda Calculus. Its Syntax and Semantics
Edité par
KINGS COLLEGE PUBN, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 656 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 22916639/3
Quantité disponible : 4 disponible(s)
Image d'archives
The Lambda Calculus. Its Syntax and Semantics
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781848900660
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Lambda Calculus Its Syntax and Semantics Studies in Logic
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781848900660
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Edité par
College Publications, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781848900660
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Lambda Calculus. Its Syntax and Semantics
Edité par
College Publications, GB, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Neuf
Paperback
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur LU-9781848900660
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Lambda Calculus. Its Syntax and Semantics
Edité par
KINGS COLLEGE PUBN, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. KlappentextThe Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, t. N° de réf. du vendeur 4287255
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Lambda Calculus. Its Syntax and Semantics
Edité par
College Publications, 2012
ISBN 10 : 184890066X
ISBN 13 : 9781848900660
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 936. N° de réf. du vendeur C9781848900660
Quantité disponible : Plus de 20 disponibles