TYPES 1998: Kloster Irsee, Germany

@proceedings{DBLP:conf/types/1998,
  editor    = {Thorsten Altenkirch and
               Wolfgang Naraschewski and
               Bernhard Reus},
  title     = {Types for Proofs and Programs, International Workshop TYPES '98,
               Kloster Irsee, Germany, March 27-31, 1998, Selected Papers},
  booktitle = {TYPES},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1657},
  year      = {1999},
  isbn      = {3-540-66537-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Peter Aczel:
  On Relating Type Theories and Set Theories. 1-18
  
• René M. C. Ahn, Tijn Borghuis:
  Communication Modelling and Context-Dependent Interpretation: An Integrated Approach. 19-32
  
• Thierry Coquand, Henrik Persson:
  Gröbner Bases in Type Theory. 33-46
  
• Joëlle Despeyroux, Pierre Leleu:
  A Modal Lambda Calculus with Iteration and Case Constructs. 47-61
  
• Gilles Dowek, Benjamin Werner:
  Proof Normalization Modulo. 62-77
  
• Jean-Christophe Filliâtre:
  Proof of Imperative Programs in Type Theory. 78-92
  
• Daniel Fridlender:
  An Interpretation of the Fan Theorem in Type Theory. 93-105
  
• Jean Goubault-Larrecq:
  Conjunctive Types and SKInT. 106-120
  
• Florian Kammüller:
  Modular Structures as Dependent Types in Isabelle. 121-132
  
• Thomas Kleymann:
  Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? 133-148
  
• Luigi Liquori:
  Bounded Polymorphism for Extensible Objects. 149-163
  
• Maria Emilia Maietti:
  About Effective Quotients in Constructive Type Theory. 164-178
  
• Frank Pfenning, Carsten Schürmann:
  Algorithms for Equality and Unification in the Presence of Notational Definitions. 179-193
  
• Giovanni Sambin, Silvia Gebellato:
  A Preview of the Basic Picture: A New Perspective on Formal Topology. 194-207
  

Last update Tue Feb 14 04:12:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page