Skip to main content

Types for Proofs and Programs

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

  • Conference proceedings
  • © 1999


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

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

Access this book

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy 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

Licence this eBook for your library

Institutional subscriptions


Table of contents (14 papers)

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

Bibliographic Information

Publish with us