@ARTICLE{Bau17a,
  author = {Bauer, Andrej},
  title = {On fixed-point theorems in synthetic computability},
  journal = {Tbilisi Mathematical Journal},
  year = {2017},
  volume = {10},
  pages = {167--181},
  number = {3},
  doi = {10.1515/tmj-2017-0107},
  file = {Bau17a.pdf:Bau17a.pdf:PDF},
  issn = {1512-0139},
  keywords = {bib, cca},
  mrclass = {03D75 (03F65 54H25)},
  mrnumber = {3725758},
  url = {https://doi.org/10.1515/tmj-2017-0107}
}

{"_id":"3LaYJecyzHhM3Q6G3","bibbaseid":"bauer-onfixedpointtheoremsinsyntheticcomputability-2017","authorIDs":[],"author_short":["Bauer, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bauer"],"firstnames":["Andrej"],"suffixes":[]}],"title":"On fixed-point theorems in synthetic computability","journal":"Tbilisi Mathematical Journal","year":"2017","volume":"10","pages":"167–181","number":"3","doi":"10.1515/tmj-2017-0107","file":"Bau17a.pdf:Bau17a.pdf:PDF","issn":"1512-0139","keywords":"bib, cca","mrclass":"03D75 (03F65 54H25)","mrnumber":"3725758","url":"https://doi.org/10.1515/tmj-2017-0107","bibtex":"@ARTICLE{Bau17a,\r\n author = {Bauer, Andrej},\r\n title = {On fixed-point theorems in synthetic computability},\r\n journal = {Tbilisi Mathematical Journal},\r\n year = {2017},\r\n volume = {10},\r\n pages = {167--181},\r\n number = {3},\r\n doi = {10.1515/tmj-2017-0107},\r\n file = {Bau17a.pdf:Bau17a.pdf:PDF},\r\n issn = {1512-0139},\r\n keywords = {bib, cca},\r\n mrclass = {03D75 (03F65 54H25)},\r\n mrnumber = {3725758},\r\n url = {https://doi.org/10.1515/tmj-2017-0107}\r\n}\r\n\r\n","author_short":["Bauer, A."],"key":"Bau17a","id":"Bau17a","bibbaseid":"bauer-onfixedpointtheoremsinsyntheticcomputability-2017","role":"author","urls":{"Paper":"https://doi.org/10.1515/tmj-2017-0107"},"keyword":["bib","cca"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.652Z","downloads":0,"keywords":["bib","cca"],"search_terms":["fixed","point","theorems","synthetic","computability","bauer"],"title":"On fixed-point theorems in synthetic computability","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}