{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:25:31Z","timestamp":1767929131609,"version":"3.49.0"},"reference-count":32,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029818","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"75-86","source":"Crossref","is-referenced-by-count":17,"title":["A stratified semantics of general references embeddable in higher-order logic"],"prefix":"10.1109","author":[{"given":"A.J.","family":"Ahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.W.","family":"Appel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Virga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90033-X"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"15","author":"levy","year":"2001","journal-title":"Call-by-Push-Value"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/10721959_2","article-title":"Machine instruction syntax and semantics in higher-order logic","author":"michael","year":"2000","journal-title":"Proc 17th Int l Conf Automated Deduction"},{"key":"13","author":"huth","year":"2000","journal-title":"Logic in Computer Science Modelling and Reasoning about Systems"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/360204.375719"},{"key":"11","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","article-title":"Impossible possible worlds vindicated","volume":"4","author":"hintikka","year":"1975","journal-title":"Journal of Philosophical Logic"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1145\/130697.130699","article-title":"Report on the programming language Haskell, a non-strict, purely functional language","volume":"27","author":"hudak","year":"1992","journal-title":"SIGPlan Notices"},{"key":"21","author":"oles","year":"1982","journal-title":"A Category-Theoretic Approach to the Semantics of Programming Languages"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.2307\/421090"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3851-3_1"},{"key":"23","first-page":"59","article-title":"Fixpoint induction and proofs of program properties","volume":"5","author":"park","year":"1969","journal-title":"Machine Intelligence"},{"key":"24","first-page":"9","article-title":"Possible worlds: A critical analysis","volume":"59 60","author":"peregrin","year":"1993","journal-title":"The Prague Bulletin of Mathematical Linguistics"},{"key":"25","article-title":"System description: Twelf - A meta-logical framework for deductive systems","author":"pfenning","year":"1999","journal-title":"11th Int Conf on Automated Deduction"},{"key":"26","first-page":"122","article-title":"Observable properties of higher order functions that dynamically create local names, or: What's new?","volume":"711","author":"pitts","year":"1993","journal-title":"Mathematical Foundations of Computer Science"},{"key":"27","first-page":"345","article-title":"The essence of Algol","author":"reynolds","year":"1981","journal-title":"Algorithmic Languages"},{"key":"28","first-page":"303","article-title":"Intuitionistic reasoning about shared mutable data structure","author":"reynolds","year":"2000","journal-title":"Millennial Perspectives in Computer Science"},{"key":"29","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"kripke","year":"1963","journal-title":"Proceedings of a Colloquium Modal and Many Valued Logics"},{"key":"3","author":"ahmed","year":"2002","journal-title":"A stratified semantics of general references embeddable in higher-order logic (extended version)"},{"key":"2","author":"aczel","year":"1988","journal-title":"Non-well-founded Sets"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138060"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705669"},{"key":"30","author":"stark","year":"1994","journal-title":"Names and Higher-order Functions"},{"key":"7","first-page":"23","article-title":"Some techniques for proving correctness of programs which alter data structures","volume":"7","author":"burstall","year":"1972","journal-title":"Machine Intelligence"},{"key":"6","author":"barwise","year":"1996","journal-title":"Vicious Circles On the Mathematics of Non-wellfounded Phenomena"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90018-D"},{"key":"5","author":"appel","year":"2000","journal-title":"An indexed model of recursive types for foundational proof-carrying code"},{"key":"31","author":"swadi","year":"2002","journal-title":"Foundational semantics for TAL syntactic rules via typed machine language"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325727"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)90120-1"},{"key":"8","first-page":"30","author":"fiore","year":"1996","journal-title":"Domains and denotational semantics History accomplishments and open problems"}],"event":{"name":"17th Annual IEEE Symposium on Logic in Computer Science","location":"Copenhagen, Denmark","acronym":"LICS-02"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029818.pdf?arnumber=1029818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T00:33:05Z","timestamp":1585009985000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029818\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029818","relation":{},"subject":[]}}