dc.contributor.author | Oliva, P | en_US |
dc.contributor.author | Powell, T | en_US |
dc.date.accessioned | 2016-01-13T13:12:09Z | |
dc.date.issued | 2015-12 | en_US |
dc.date.submitted | 2016-01-08T10:34:19.724Z | |
dc.identifier.issn | 0960-1295 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/10531 | |
dc.format.extent | 1755 - 1778 | en_US |
dc.relation.ispartof | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | en_US |
dc.rights | This is the peer reviewed version of the following article: Oliva, Paulo, and Thomas Powell. "A constructive interpretation of Ramsey's theorem via the product of selection functions." Mathematical Structures in Computer Science (2012): 1-24, which has been published in final form at 10.1017/S0960129513000340. This article may be used for non-commercial purposes in accordance with Cambridge University Press' Terms and Conditions for Self-Archiving. | |
dc.title | A constructive interpretation of Ramsey's theorem via the product of selection functions | en_US |
dc.type | Article | |
dc.identifier.doi | 10.1017/S0960129513000340 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000364081600007&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.issue | 8 | en_US |
pubs.notes | No embargo | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 25 | en_US |