@ARTICLE{Ber07,
  author = {Bertot, Yves},
  title = {Affine functions and series with co-inductive real numbers},
  journal = MSCS,
  year = {2007},
  volume = {17},
  pages = {37--63},
  file = {Ber07.pdf:Ber07.pdf:PDF;Ber07.pdf:files\\Ber07.pdf:PDF},
  keywords = {bib,cca},
  url = {http://dx.doi.org/10.1017/S0960129506005809}
}

{"_id":"CDPBwFMnmGyGfaykf","bibbaseid":"bertot-affinefunctionsandserieswithcoinductiverealnumbers-2007","authorIDs":[],"author_short":["Bertot, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bertot"],"firstnames":["Yves"],"suffixes":[]}],"title":"Affine functions and series with co-inductive real numbers","journal":"Mathematical Structures in Computer Science","year":"2007","volume":"17","pages":"37–63","file":"Ber07.pdf:Ber07.pdf:PDF;Ber07.pdf:files\\\\Ber07.pdf:PDF","keywords":"bib,cca","url":"http://dx.doi.org/10.1017/S0960129506005809","bibtex":"@ARTICLE{Ber07,\r\n author = {Bertot, Yves},\r\n title = {Affine functions and series with co-inductive real numbers},\r\n journal = MSCS,\r\n year = {2007},\r\n volume = {17},\r\n pages = {37--63},\r\n file = {Ber07.pdf:Ber07.pdf:PDF;Ber07.pdf:files\\\\Ber07.pdf:PDF},\r\n keywords = {bib,cca},\r\n url = {http://dx.doi.org/10.1017/S0960129506005809}\r\n}\r\n\r\n","author_short":["Bertot, Y."],"key":"Ber07","id":"Ber07","bibbaseid":"bertot-affinefunctionsandserieswithcoinductiverealnumbers-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1017/S0960129506005809"},"keyword":["bib","cca"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.343Z","downloads":0,"keywords":["bib","cca"],"search_terms":["affine","functions","series","inductive","real","numbers","bertot"],"title":"Affine functions and series with co-inductive real numbers","year":2007,"dataSources":["t7rKiAbxugj4Agz8M"]}