{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T18:06:45Z","timestamp":1764698805298,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"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":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470514","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T16:14:07Z","timestamp":1625674447000},"page":"1-13","source":"Crossref","is-referenced-by-count":2,"title":["Evidenced Frames: A Unifying Framework Broadening Realizability Models"],"prefix":"10.1109","author":[{"given":"Liron","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etienne","family":"Miquey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Tate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/978-3-319-03542-0_25"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/LICS.2012.47"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.2307\/2586854"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.2168\/LMCS-8(1:10)2012"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/3209108.3209199"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1017\/S0960129520000079"},{"year":"2020","author":"miquel","article-title":"Implicative algebras II: Completeness w.r.t. Set-based triposes","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1017\/S0960129515000432"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1017\/S096012950200364X"},{"year":"1999","author":"jacobs","journal-title":"Categorical Logic and Type Theory","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/S0049-237X(09)70129-6"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/S0049-237X(08)70730-4"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1090\/S0273-0979-1983-15080-2"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1090\/pspum\/025\/0363802","article-title":"Completeness and axiomatizability in many-valued logic","volume":"25","author":"scott","year":"1974","journal-title":"Proceedings of the Tarski Symposium"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"ref28","article-title":"A fibrational study of realizability toposes","author":"frey","year":"2014","journal-title":"Ph D Dissertation"},{"year":"2004","author":"hofstra","article-title":"Partial combinatory algebras and realizability toposes","key":"ref4"},{"key":"ref27","article-title":"Realizability in classical logic. In Interactive models of computation and program behaviour","volume":"27","author":"krivine","year":"2009","journal-title":"Panoramas et Synthèses"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/BFb0062852"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1017\/S0305004100057534"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1017\/S0960129512000989"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/2363.2528"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.entcs.2019.09.006"},{"key":"ref7","article-title":"Realizability and recursive mathematics","author":"mccarty","year":"1985","journal-title":"Ph D Dissertation"},{"key":"ref2","volume":"152","author":"van oosten","year":"2008","journal-title":"Realizability An Introduction to Its Categorical Side"},{"key":"ref9","article-title":"Realizability as connection between constructive and computable mathematics","author":"bauer","year":"2005","journal-title":"Computability and Complexity in Analysis"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.2307\/2269016"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/3209108.3209140"},{"key":"ref22","article-title":"Failure is not an option an exceptional type theory","author":"p\u00e9drot","year":"2018","journal-title":"ESOP"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-319-89366-2_15"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1016\/j.entcs.2018.03.029"},{"key":"ref23","article-title":"Semantical considerations on modal logic","volume":"16","author":"kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/351240.351262"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/96709.96714"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470514.pdf?arnumber=9470514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:46:20Z","timestamp":1652183180000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470514","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}