{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:18:44Z","timestamp":1781893124234,"version":"3.54.5"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005093","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":9,"title":["Generalised species of rigid resource terms"],"prefix":"10.1109","author":[{"given":"Takeshi","family":"Tsukada","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kazuyuki","family":"Asada","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.-H. Luke","family":"Ong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.30"},{"key":"ref38","article-title":"Innocent strategies are sheaves over plays-deterministic, non-deterministic and probabilistic innocence","volume":"abs 1409 2764","author":"tsukada","year":"2014","journal-title":"CoRR"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31585-5_31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016871"},{"key":"ref31","author":"melli\u00e8s","year":"2003","journal-title":"Asynchronous Game 1 Uniformity by Group Invariance"},{"key":"ref30","article-title":"Affine approximations and intersection types","author":"mazza","year":"2016","journal-title":"2016 contributed talk"},{"key":"ref37","article-title":"Strategies in HO\/N games as profunctors","author":"tsukada","year":"0","journal-title":"contributed talk GaLoP Workshop"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.022"},{"key":"ref35","first-page":"408","article-title":"Strong normalizability as a finiteness structure via the Taylor expansion of A-terms","author":"pagani","year":"2016","journal-title":"FOSSACS"},{"key":"ref34","first-page":"647","article-title":"Applying quantitative semantics to higher-order quantumcomputing","author":"pagani","year":"2014","journal-title":"POPL"},{"key":"ref10","article-title":"Execution time of lambda-terms via denotational semantics and intersection types","volume":"abs 905 4251","author":"de carvalho","year":"2009","journal-title":"CoRR"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003729"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004645"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.38"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00392-X"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/11780342_20","article-title":"Böhm trees, krivine's machine and the taylor expansion of lambda-terms","volume":"3988","author":"ehrhard","year":"2006","journal-title":"CiE Ser Lecture Notes in Computer Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.06.001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535865"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/jdm096"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.3.411"},{"key":"ref4","author":"b\u00e9nabou","year":"2000","journal-title":"Distributors at work"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.032"},{"key":"ref3","article-title":"Les distributeurs","author":"b\u00e9nabou","year":"1973","journal-title":"Technical Report 33"},{"key":"ref6","author":"borceux","year":"1994","journal-title":"Handbook of Categorical Algebra 3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.36"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(4:3)2013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00056-7"},{"key":"ref2","first-page":"24","article-title":"Krivine machine and Taylor expansion in a non-uniform setting","author":"allioux","year":"2016","journal-title":"Linear"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507385"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782637"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90025-5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00349-2"},{"key":"ref26","first-page":"126","article-title":"Foncteurs analytiques et espèces de structures","author":"joyal","year":"1986","journal-title":"Combinatoire Énumérative"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90052-9"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005093.pdf?arnumber=8005093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:11Z","timestamp":1569987551000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005093\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005093","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}