BibTeX record phd/basesearch/Gaspes97

download as .bib file

@phdthesis{DBLP:phd/basesearch/Gaspes97,
  author    = {Ver{\'{o}}nica Gaspes},
  title     = {A Type Theoretical Analysis of Some Aspects of Programming Languages},
  school    = {Chalmers University of Technology, Gothenburg, Sweden},
  year      = {1997},
  url       = {http://publications.lib.chalmers.se/publication/1263-a-type-theoretical-analysis-of-some-aspects-of-programming-languages},
  timestamp = {Mon, 13 Mar 2017 15:25:34 +0100},
  biburl    = {https://dblp.org/rec/phd/basesearch/Gaspes97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics