BibTeX record conf/mfps/CoquandGW87

• > Home > conf/mfps/CoquandGW87

@inproceedings{DBLP:conf/mfps/CoquandGW87,
  author       = {Thierry Coquand and
                  Carl A. Gunter and
                  Glynn Winskel},
  editor       = {Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove and
                  David A. Schmidt},
  title        = {DI-Domains as a Model of Polymorphism},
  booktitle    = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
                  Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {298},
  pages        = {344--363},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-19020-1\_18},
  doi          = {10.1007/3-540-19020-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/CoquandGW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}