BibTeX record: conf/fossacs/GhaniPR99

download as .bib file

@inproceedings{DBLP:conf/fossacs/GhaniPR99,
  author    = {Neil Ghani and
               Valeria de Paiva and
               Eike Ritter},
  title     = {Categorical Models of Explicit Substitutions},
  booktitle = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  year      = {1999},
  pages     = {197--211},
  crossref  = {DBLP:conf/fossacs/1999},
  url       = {http://dx.doi.org/10.1007/3-540-49019-1_14},
  doi       = {10.1007/3-540-49019-1_14},
  timestamp = {Wed, 01 Oct 2014 14:13:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/GhaniPR99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/1999,
  editor    = {Wolfgang Thomas},
  title     = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  year      = {1999},
  volume    = {1578},
  publisher = {Springer},
  isbn      = {3-540-65719-3},
  timestamp = {Wed, 01 Oct 2014 14:13:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}