{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:38:21Z","timestamp":1770287901878,"version":"3.49.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/lics.2019.8785715","type":"proceedings-article","created":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T01:15:55Z","timestamp":1565054155000},"page":"1-19","source":"Crossref","is-referenced-by-count":18,"title":["Probabilistic Relational Reasoning via Metrics"],"prefix":"10.1109","author":[{"given":"Arthur Azevedo","family":"de Amorim","sequence":"first","affiliation":[]},{"given":"Marco","family":"Gaboardi","sequence":"additional","affiliation":[]},{"given":"Justin","family":"Hsu","sequence":"additional","affiliation":[]},{"given":"Shin-ya","family":"Katsumata","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-008-9013-7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785668"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.043"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863568"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3110254"},{"key":"ref35","first-page":"36: 1","article-title":"A domain theory for statistical probabilistic programming","volume":"3","author":"v\u00e1k\u00e1r","year":"2019","journal-title":"PACMPL"},{"key":"ref34","first-page":"23","article-title":"Strong relative monads (extended abstract)","author":"uustalu","year":"2010","journal-title":"Short Contributions of 10th Int Wksh on Coal-gebraic Methods in Comput Sci CMCS '10 (Paphos March 2010)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1561\/0400000042"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11761679_29"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11681878_14"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2010.12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429113"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90386-T"},{"key":"ref16","first-page":"68","author":"giry","year":"1982","journal-title":"A categorical approach to probability theory volume 915 of Lecture Notes in Mathematics"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39173"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535846"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304852"},{"key":"ref28","author":"olmedo","year":"2014","journal-title":"Approximate relational reasoning for probabilistic programs"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39212-2_8"},{"key":"ref27","author":"near","year":"2019","journal-title":"Duet An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009890"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978371"},{"key":"ref29","article-title":"Towards a metric semantics for probabilistic programming","author":"plotkin","year":"2017","journal-title":"Invited talk at Workshop on Probabilistic Programming Semantics (PPS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677000"},{"key":"ref8","first-page":"121","article-title":"A mixed linear and non-linear logic: Proofs, terms and models","volume":"933","author":"benton","year":"1994","journal-title":"Int Workshop on Computer Science and Logic (CSL 99)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3158145"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2746325.2746335"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2505351.2505353"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(1:3)2015"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF02924844"},{"key":"ref22","volume":"5","author":"mac lane","year":"1998","journal-title":"Categories for the Working Mathematician Second Edition"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27683-0_16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000328"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934518"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39155"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676970"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2019,6,24]]},"end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785715.pdf?arnumber=8785715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:18:53Z","timestamp":1658261933000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785715\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785715","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}