Altenkirch / Naraschewski / Reus | Types for Proofs and Programs | E-Book | sack.de
E-Book

E-Book, Englisch, Band 1657, 212 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Altenkirch / Naraschewski / Reus Types for Proofs and Programs

International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Erscheinungsjahr 2003
ISBN: 978-3-540-48167-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

E-Book, Englisch, Band 1657, 212 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-48167-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Altenkirch / Naraschewski / Reus Types for Proofs and Programs jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Altenkirch, Thorsten
Naraschewski, Wolfgang
Reus, Bernhard

Weitere Infos & Material

On Relating Type Theories and Set Theories.- Communication Modelling and Context-Dependent Interpretation: An Integrated Approach.- Gröbner Bases in Type Theory.- A Modal Lambda Calculus with Iteration and Case Constructs.- Proof Normalization Modulo.- Proof of Imperative Programs in Type Theory.- An Interpretation of the Fan Theorem in Type Theory.- Conjunctive Types and SKInT.- Modular Structures as Dependent Types in Isabelle.- Metatheory of Verification Calculi in LEGO.- Bounded Polymorphism for Extensible Objects.- About Effective Quotients in Constructive Type Theory.- Algorithms for Equality and Unification in the Presence of Notational Definitions.- A Preview of the Basic Picture: A New Perspective on Formal Topology.

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.