Custom cover image
Custom cover image

Types for Proofs and Programs : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers / edited by Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 1657Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Description: Online-RessourceISBN:
  • 9783540481676
Subject(s): Genre/Form: Additional physical formats: 9783540665373 | Buchausg. u.d.T.: Types for proofs and programs. Berlin : Springer, 1999. VIII, 207 S.MSC: MSC: *00B25 | 68-06 | 03-06RVK: RVK: SS 4800LOC classification:
  • QA76.9.L63
  • QA76.5913
  • QA76.63
DOI: DOI: 10.1007/3-540-48167-2Online resources: Summary: This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the auspices of the ESPRIT Working Group 21900. The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressedPPN: PPN: 1649361939Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT