@INPROCEEDINGS{Bau01,
  author = {Bauer, Andrej},
  title = {A Relationship between Equilogical Spaces and Type Two Effectivity},
  booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
	Semantics},
  year = {2001},
  editor = {Brooks, Stephen and Mislove, Michael},
  volume = {45},
  series = ENTCS,
  address = {Amsterdam},
  publisher = {Elsevier},
  note = {MFPS 2001, Aarhus, Denmark May 23--26, 2001},
  keywords = {bib,cca}
}

{"_id":"Rvq638nZqnB8TBhM2","bibbaseid":"bauer-arelationshipbetweenequilogicalspacesandtypetwoeffectivity-2001","authorIDs":[],"author_short":["Bauer, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bauer"],"firstnames":["Andrej"],"suffixes":[]}],"title":"A Relationship between Equilogical Spaces and Type Two Effectivity","booktitle":"Seventeenth Conference on the Mathematical Foundations of Programming Semantics","year":"2001","editor":[{"propositions":[],"lastnames":["Brooks"],"firstnames":["Stephen"],"suffixes":[]},{"propositions":[],"lastnames":["Mislove"],"firstnames":["Michael"],"suffixes":[]}],"volume":"45","address":"Amsterdam","publisher":"Elsevier","note":"MFPS 2001, Aarhus, Denmark May 23–26, 2001","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Bau01,\r\n author = {Bauer, Andrej},\r\n title = {A Relationship between Equilogical Spaces and Type Two Effectivity},\r\n booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming\r\n\tSemantics},\r\n year = {2001},\r\n editor = {Brooks, Stephen and Mislove, Michael},\r\n volume = {45},\r\n series = ENTCS,\r\n address = {Amsterdam},\r\n publisher = {Elsevier},\r\n note = {MFPS 2001, Aarhus, Denmark May 23--26, 2001},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Bauer, A."],"editor_short":["Brooks, S.","Mislove, M."],"key":"Bau01","id":"Bau01","bibbaseid":"bauer-arelationshipbetweenequilogicalspacesandtypetwoeffectivity-2001","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.308Z","downloads":0,"keywords":["bib","cca"],"search_terms":["relationship","between","equilogical","spaces","type","two","effectivity","bauer"],"title":"A Relationship between Equilogical Spaces and Type Two Effectivity","year":2001,"dataSources":["t7rKiAbxugj4Agz8M"]}