Coquand / Dybjer / Nordström | Types for Proofs and Programs | E-Book | sack.de
E-Book

E-Book, Englisch, Band 1956, 202 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Coquand / Dybjer / Nordström Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Erscheinungsjahr 2003
ISBN: 978-3-540-44557-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

E-Book, Englisch, Band 1956, 202 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-44557-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Coquand / Dybjer / Nordström Types for Proofs and Programs jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Coquand, Thierry
Dybjer, Peter
Nordström, Bengt
Smith, Jan

Weitere Infos & Material

Specification and Verification of a Formal System for Structurally Recursive Functions.- A Predicative Strong Normalisation Proof for a ?Calculus with Interleaving Inductive Types.- Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and ?-Rule.- Computer-Assisted Mathematics at Work.- Specification of a Smart Card Operating System.- Implementation Techniques for Inductive Types in Plastic.- A Co-inductive Approach to Real Numbers.- Information Retrieval in a Coq Proof Library Using Type Isomorphisms.- Memory Management: An Abstract Formulation of Incremental Tracing.- The Three Gap Theorem (Steinhaus Conjecture).- Formalising Formulas-as-Types-as-Objects.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.