Articoli correlati a Computation and Reasoning: A Type Theory for Computer...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
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)
Contenuti
- Preface
- Introduction
- 1: The extended calculus of constructions
- 2: Basic meta-theoretic properties
- 3: Strong normalisation
- 4: The internal logic and decidability
- 5: A set-theoretic model
- 6: Computational and logical theories
- 7: Specification and development of programs
- 8: Towards a unifying theory of dependent types
- Bibliography
- Notation and symbols
- Index
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Computation and Reasoning: A Type Theory for Computer...
Foto dell'editore
Computation and Reasoning: A Type Theory for Computer Science (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo 21d1743a8118c61b77e8b2ca034878a4
Compra nuovo
EUR 107,46
Spedizione EUR 6,80
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning : A Type Theory for Computer Science
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 640821-n
Compra nuovo
EUR 118,60
Spedizione EUR 2,32
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning : A Type Theory for Computer Science
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 640821-n
Compra nuovo
EUR 116,82
Spedizione EUR 17,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning (Hardcover)
Editore:
Oxford University Press, Oxford, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780198538356
Compra nuovo
EUR 139,71
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computation and Reasoning - A Type Theory for Computer Science
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198538356
Compra nuovo
EUR 136,21
Spedizione EUR 5,84
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning: A Type Theory for Computer Science
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. New copy - Usually dispatched within 4 working days. Codice articolo B9780198538356
Compra nuovo
EUR 135,83
Spedizione EUR 18,20
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9780198538356_new
Compra nuovo
EUR 147,62
Spedizione EUR 13,13
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning: A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. 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. Series: International Series of Monographs on Computer Science. Num Pages: 240 pages, line figures throughout. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 19. Weight in Grams: 460. . 1994. hardcover. . . . . Codice articolo V9780198538356
Compra nuovo
EUR 152,88
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computation and Reasoning - A Type Theory for Computer Science
Print on DemandDa: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 244. Codice articolo 26482900
Compra nuovo
EUR 173,96
Spedizione EUR 3,51
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Computation and Reasoning (Hardcover)
Editore:
Oxford University Press, Oxford, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780198538356
Compra nuovo
EUR 143,75
Spedizione EUR 43,04
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili