TYPES 1993: Nijmegen, The Netherlands

Henk Barendregt, Tobias Nipkow (Eds.): Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers. Lecture Notes in Computer Science 806 Springer 1994, ISBN 3-540-58085-9 BibTeX

@proceedings{DBLP:conf/types/1993,
  editor    = {Henk Barendregt and
               Tobias Nipkow},
  title     = {Types for Proofs and Programs, International Workshop TYPES'93,
               Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers},
  booktitle = {TYPES},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {806},
  year      = {1994},
  isbn      = {3-540-58085-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Thorsten Altenkirch: Proving Strong Normalization of CC by Modifying Realizability Semantics. 3-18 BibTeX
L. S. van Benthem Jutting, James McKinna, Robert Pollack: Checking Algorithms for Pure Type Systems. 19-61 BibTeX
Thierry Coquand: Infinite Objects in Type Theory. 62-78 BibTeX
Herman Geuvers: Conservativity between Logics and Typed lambda Calculi. 79-107 BibTeX
Susumu Hayashi: Logic of Refinement Types. 108-126 BibTeX
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager: Proof-Checking a Data Link Protocol. 127-165 BibTeX
Martin Hofmann: Elimination of Extensionality in Martin-Löf Type Theory. 166-190 BibTeX
François Leclerc, Christine Paulin-Mohring: Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. 191-212 BibTeX
Lena Magnusson, Bengt Nordström: The ALF Proof Editor and Its Proof Engine. 213-237 BibTeX
Savi Maharaj: Encoding Z-style Schemas in Type Theory. 238-262 BibTeX
Marino Miculan: The Expressive Power of Structural Operational Semantics with Explicit Assumptions. 263-290 BibTeX
Catherine Parent: Developing Certified Programs in the System Coq - The Program Tactic. 291-312 BibTeX
Randy Pollack: Closure Under Alpha-Conversion. 313-332 BibTeX
Christophe Faffalli: Machine Deduction. 333-351 BibTeX
Aarne Ranta: Type Theory and the Informal Language of Mathematics. 352-365 BibTeX
David A. Wolfram: Semantics for Abstract Clauses. 366-383 BibTeX