@ARTICLE{OP15,
  author = {Oliva, Paulo and Powell, Thomas},
  title = {A constructive interpretation of {R}amsey's theorem via the product
	of selection functions},
  journal = {Mathematical Structures in Computer Science},
  year = {2015},
  volume = {25},
  pages = {1755--1778},
  month = {12},
  doi = {10.1017/S0960129513000340},
  file = {OP15.pdf:OP15.pdf:PDF},
  issn = {1469-8072},
  issue = {Special Issue 08},
  keywords = {bib,cca,con},
  numpages = {24},
  owner = {Vasco},
  timestamp = {2015.11.18},
  url = {http://journals.cambridge.org/article_S0960129513000340}
}

{"_id":"m9SdRYtscMW3NSRcG","bibbaseid":"oliva-powell-aconstructiveinterpretationoframseystheoremviatheproductofselectionfunctions-2015","authorIDs":[],"author_short":["Oliva, P.","Powell, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Oliva"],"firstnames":["Paulo"],"suffixes":[]},{"propositions":[],"lastnames":["Powell"],"firstnames":["Thomas"],"suffixes":[]}],"title":"A constructive interpretation of Ramsey's theorem via the product of selection functions","journal":"Mathematical Structures in Computer Science","year":"2015","volume":"25","pages":"1755–1778","month":"12","doi":"10.1017/S0960129513000340","file":"OP15.pdf:OP15.pdf:PDF","issn":"1469-8072","issue":"Special Issue 08","keywords":"bib,cca,con","numpages":"24","owner":"Vasco","timestamp":"2015.11.18","url":"http://journals.cambridge.org/article_S0960129513000340","bibtex":"@ARTICLE{OP15,\r\n author = {Oliva, Paulo and Powell, Thomas},\r\n title = {A constructive interpretation of {R}amsey's theorem via the product\r\n\tof selection functions},\r\n journal = {Mathematical Structures in Computer Science},\r\n year = {2015},\r\n volume = {25},\r\n pages = {1755--1778},\r\n month = {12},\r\n doi = {10.1017/S0960129513000340},\r\n file = {OP15.pdf:OP15.pdf:PDF},\r\n issn = {1469-8072},\r\n issue = {Special Issue 08},\r\n keywords = {bib,cca,con},\r\n numpages = {24},\r\n owner = {Vasco},\r\n timestamp = {2015.11.18},\r\n url = {http://journals.cambridge.org/article_S0960129513000340}\r\n}\r\n\r\n","author_short":["Oliva, P.","Powell, T."],"key":"OP15","id":"OP15","bibbaseid":"oliva-powell-aconstructiveinterpretationoframseystheoremviatheproductofselectionfunctions-2015","role":"author","urls":{"Paper":"http://journals.cambridge.org/article_S0960129513000340"},"keyword":["bib","cca","con"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.983Z","downloads":0,"keywords":["bib","cca","con"],"search_terms":["constructive","interpretation","ramsey","theorem","via","product","selection","functions","oliva","powell"],"title":"A constructive interpretation of Ramsey's theorem via the product of selection functions","year":2015,"dataSources":["t7rKiAbxugj4Agz8M"]}