Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1999

Types for Proofs and Programs

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

Editors:

  1. Thorsten Altenkirch

    1. Ludwig-Maximilians-Universität, Institut für Informatik, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Reus

    1. Ludwig-Maximilians-Universität, Institut für Informatik, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wolfgang Naraschewski

    1. Technische Universität München, Institut für Informatik, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1657)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 papers)

  1. Front Matter

    Pages I-VIII
    PDF

  4. Gröbner Bases in Type Theory

    • Thierry Coquand, Henrik Persson
    Pages 33-46

  5. A Modal Lambda Calculus with Iteration and Case Constructs

    • Joëlle Despeyroux, Pierre Leleu
    Pages 47-62

  6. Proof Normalization Modulo

    • Gilles Dowek, Benjamin Werner
    Pages 62-77

  7. Proof of Imperative Programs in Type Theory

    • Jean-Christophe Filliâtre
    Pages 78-92

  9. Conjunctive Types and SKInT

    • Jean Goubault-Larrecq
    Pages 106-120

  10. Modular Structures as Dependent Types in Isabelle

    • Florian Kammüller
    Pages 121-133

  11. Metatheory of Verification Calculi in LEGO

    • Thomas Kleymann
    Pages 133-149

  12. Bounded Polymorphism for Extensible Objects

    • Luigi Liquori
    Pages 149-165

  13. About Effective Quotients in Constructive Type Theory

    • Maria Emilia Maietti
    Pages 166-178

  15. A Preview of the Basic Picture: A New Perspective on Formal Topology

    • Giovanni Sambin, Silvia Gebellato
    Pages 194-208
Back to top

Keywords

Back to top

Editors and Affiliations

  • Ludwig-Maximilians-Universität, Institut für Informatik, München, Germany

    Thorsten Altenkirch, Bernhard Reus

  • Technische Universität München, Institut für Informatik, München, Germany

    Wolfgang Naraschewski

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation