Articles liés à Computation and Reasoning: A Type Theory for Computer...
Synopsis
The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.
The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing the basic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The pragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing the basic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The pragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs.
Revue de presse
a comprehensive account of ... one particular type theory, The Extended Calculus of Constructions ... I found this to be a well written, thorough and enjoyable account of the ECC ... I recommend Computation and Reasoning wholeheartedly. (The Computer Journal, Vol 37, No 6, 1994)
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 82,33
EUR 4,60 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Computation and Reasoning: A Type Theory for Computer...
Image d'archives
Computation and Reasoning: A Type Theory for Computer Science
Edité par
Clarendon Press, 1994
ISBN 10 : 0198538359
ISBN 13 : 9780198538356
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-595-580
Quantité disponible : 1 disponible(s)
Image d'archives
Computation and Reasoning: A Type Theory for Computer Science
Edité par
Clarendon Press, 1994
ISBN 10 : 0198538359
ISBN 13 : 9780198538356
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-551-499
Quantité disponible : 1 disponible(s)
Image d'archives
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780198538356_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computation and Reasoning
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780198538356
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computation and Reasoning - A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. 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 L1-9780198538356
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computation and Reasoning : A Type Theory for Computer Science
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 640821-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computation and Reasoning : A Type Theory for Computer Science
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 640821-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computation and Reasoning: A Type Theory for Computer Science
Edité par
Oxford University Press, 1994
ISBN 10 : 0198538359
ISBN 13 : 9780198538356
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 490. N° de réf. du vendeur C9780198538356
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computation and Reasoning (Hardcover)
Edité par
Oxford University Press, Oxford, 1994
ISBN 10 : 0198538359
ISBN 13 : 9780198538356
Neuf
Couverture rigide
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing thebasic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. Thepragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs. Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9780198538356
Quantité disponible : 1 disponible(s)
Image d'archives
Computation and Reasoning (Hardcover)
Edité par
Oxford University Press, Oxford, 1994
ISBN 10 : 0198538359
ISBN 13 : 9780198538356
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from introducing thebasic concepts, the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. Thepragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of spcdifications, programs and proofs. Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780198538356
Quantité disponible : 1 disponible(s)