Articoli correlati a Types for Proofs and Programs: International Workshop,...
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers: 1158 - Brossura
Sinossi
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.
Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Implicit coercions in type systems.- A two-level approach towards lean proof-checking.- The greatest common divisor: A case study for program extraction from classical proofs.- Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids.- A constructive proof of the Heine-Borel covering theorem for formal reals.- An application of constructive completeness.- Automating inversion of inductive predicates in Coq.- First order marked types.- Internal type theory.- An application of co-inductive types in Coq: Verification of the alternating bit protocol.- Conservativity of equality reflection over intensional type theory.- A natural deduction approach to dynamic logic.- An algorithm for checking incomplete proof objects in type theory with localization and unification.- Decidability of all minimal models.- Circuits as streams in Coq: Verification of a sequential multiplier.- Context-relative syntactic categories and the formalization of mathematical text.- A simple model construction for the Calculus of Constructions.- Optimized encodings of fragments of type theory in first order logic.- Organization and development of a constructive axiomatization.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540617809
- ISBN 13 9783540617808
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine312
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoEx-library paperback in very nice...
Visualizza questo articolo
EUR 43,54
EUR 65,15 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 52,86
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Types for Proofs and Programs: International Workshop,...
Foto dell'editore
Types For Proofs And Programs
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-268135
Quantità: 1 disponibili
Immagini fornite dal venditore
Types for Proofs and Programs
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place. Codice articolo 4895752
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Editore:
Springer Berlin Heidelberg, 1996
ISBN 10: 3540617809
ISBN 13: 9783540617808
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory. Codice articolo 9783540617808
Quantità: 1 disponibili
Immagini fornite dal venditore
Types for Proofs and Programs
ISBN 10: 3540617809
ISBN 13: 9783540617808
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. Codice articolo 9783540617808
Quantità: 1 disponibili
Foto dell'editore
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science, 1158)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540617808_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Types for Proofs and Programs
Editore:
Springer Berlin Heidelberg Okt 1996, 1996
ISBN 10: 3540617809
ISBN 13: 9783540617808
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory. 312 pp. Englisch. Codice articolo 9783540617808
Quantità: 2 disponibili
Foto dell'editore
Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540617808
Quantità: 10 disponibili
Foto dell'editore
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD1419733
Quantità: 1 disponibili
Foto dell'editore
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science, 1158)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020172432
Quantità: Più di 20 disponibili
Foto dell'editore
Types for Proofs and Programs: International Workshop, TYPES *95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA75835406178095
Quantità: 1 disponibili