DBLP BibTeX Record 'conf/fossacs/GhaniPR99'

@inproceedings{DBLP:conf/fossacs/GhaniPR99,
  author    = {Neil Ghani and
               Valeria de Paiva and
               Eike Ritter},
  title     = {Categorical Models of Explicit Substitutions},
  booktitle = {FoSSaCS},
  year      = {1999},
  pages     = {197-211},
  ee        = {http://dx.doi.org/10.1007/3-540-49019-1_14},
  crossref  = {DBLP:conf/fossacs/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1578},
  year      = {1999},
  isbn      = {3-540-65719-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}