{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:31:14Z","timestamp":1767929474477,"version":"3.49.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005117","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":25,"title":["Effectful applicative bisimilarity: Monads, relators, and Howe's method"],"prefix":"10.1109","author":[{"given":"Ugo Dal","family":"Lago","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Gavazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul Blain","family":"Levy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"thijs","year":"1996","journal-title":"Simulation and fixpoint semantics"},{"key":"ref38","author":"schrijver","year":"1986","journal-title":"Theory of Linear and Integer Programming"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588.006"},{"key":"ref32","first-page":"275","article-title":"Non-determinism in a functional setting","author":"luke ong","year":"1993","journal-title":"Proc of LICS 1993"},{"key":"ref31","author":"morris","year":"1969","journal-title":"Lambda calculus models of programming languages"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39155"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837651"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45931-6_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45315-6_1"},{"key":"ref10","first-page":"297","article-title":"On coinductive equivalences for higher-order probabilistic functional programs","author":"lago","year":"2014","journal-title":"Proc of POPL 2014"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.021"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/2012012"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/507382.507385"},{"key":"ref13","author":"davey","year":"1990","journal-title":"Introduction to Lattices and Order"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1145"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.33"},{"key":"ref17","first-page":"78","article-title":"A tutorial on co-induction and functional programming","author":"gordon","year":"1994","journal-title":"Workshops in Computing"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508007172"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0008"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00088-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0060439"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19805-2_3"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(08)71818-4","article-title":"The lambda calculus: its syntax and semantics","author":"barendregt","year":"1984","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46678-0_18"},{"key":"ref29","author":"maclane","year":"1971","journal-title":"Categories for the Working Mathematician"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599447"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_12"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129598002709"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/504709.504712"},{"key":"ref9","author":"lago","year":"2017","journal-title":"Effectful applicative bisimilarity Monads relators and Howe's method (long version)"},{"key":"ref1","first-page":"65","article-title":"The lazy lambda calculus","author":"abramsky","year":"1990","journal-title":"Research Topics in Functional Programming"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.29"},{"key":"ref22","first-page":"145","author":"katsumata","year":"2013","journal-title":"Preorders on Monads and Coalgebraic Simulations"},{"key":"ref21","author":"jones","year":"1990","journal-title":"Probabilistic non-determinism"},{"key":"ref24","first-page":"91","article-title":"Relational reasoning about contexts","author":"lassen","year":"1998","journal-title":"Higher Order Operational Techniques in Semantics"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.09.023"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.06.006"},{"key":"ref25","author":"lassen","year":"1998","journal-title":"Relational Reasoning about Functions and Nondeterminism"}],"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\/08005117.pdf?arnumber=8005117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:38:36Z","timestamp":1569987516000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005117","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}