dblp.uni-trier.de www.uni-trier.de

TYPES 1999: Lökeberg, Sweden

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith (Eds.): Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Lecture Notes in Computer Science 1956 Springer 2000, ISBN 3-540-41517-3 BibTeX
@proceedings{DBLP:conf/types/1999,
  editor    = {Thierry Coquand and
               Peter Dybjer and
               Bengt Nordstr{\"o}m and
               Jan M. Smith},
  title     = {Types for Proofs and Programs, International Workshop TYPES'99,
               L{\"o}keberg, Sweden, June 12-16, 1999, Selected Papers},
  booktitle = {TYPES},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1956},
  year      = {2000},
  isbn      = {3-540-41517-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Copyright © Sat May 16 23:44:06 2009 by Michael Ley (ley@uni-trier.de)