@ARTICLE{Cur03,
  author = {Curi, Giovanni},
  title = {Constructive metrisability in point-free topology},
  journal = TCS,
  year = {2003},
  volume = {305},
  pages = {85--109},
  keywords = {bib,con}
}

{"_id":"Swq5y5E4cZT3Qif37","bibbaseid":"curi-constructivemetrisabilityinpointfreetopology-2003","authorIDs":[],"author_short":["Curi, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Curi"],"firstnames":["Giovanni"],"suffixes":[]}],"title":"Constructive metrisability in point-free topology","journal":"Theoretical Computer Science","year":"2003","volume":"305","pages":"85–109","keywords":"bib,con","bibtex":"@ARTICLE{Cur03,\r\n author = {Curi, Giovanni},\r\n title = {Constructive metrisability in point-free topology},\r\n journal = TCS,\r\n year = {2003},\r\n volume = {305},\r\n pages = {85--109},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Curi, G."],"key":"Cur03","id":"Cur03","bibbaseid":"curi-constructivemetrisabilityinpointfreetopology-2003","role":"author","urls":{},"keyword":["bib","con"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.574Z","downloads":0,"keywords":["bib","con"],"search_terms":["constructive","metrisability","point","free","topology","curi"],"title":"Constructive metrisability in point-free topology","year":2003,"dataSources":["t7rKiAbxugj4Agz8M"]}