{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T23:55:32Z","timestamp":1725407732890},"reference-count":26,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1997.614963","type":"proceedings-article","created":{"date-parts":[[2002,11,22]],"date-time":"2002-11-22T21:45:27Z","timestamp":1038001527000},"page":"376-386","source":"Crossref","is-referenced-by-count":0,"title":["Induction and recursion on the partial real line via biquotients of bifree algebras"],"prefix":"10.1109","author":[{"given":"M.H.","family":"Escardo","sequence":"first","affiliation":[]},{"given":"T.","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0058"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084215"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525902.006","article-title":"Remarks on algebraically compact categories","author":"freyd","year":"1992","journal-title":"Applications of Categories in Computer Science Proceedings of the LMS Symposium"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09118-1_19"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01752392"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90006-5"},{"journal-title":"Domains Post-graduate Lectures in advanced domain theory","year":"1980","author":"plotkin","key":"ref18"},{"journal-title":"Theory of Recursive Functions and Effective Computability","year":"1967","author":"rogers","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90029-3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561453"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00099-1"},{"key":"ref8","first-page":"13","article-title":"Real PCF extended with 3 is universal","author":"escard\ufffd","year":"1996","journal-title":"Advances in Theory and Formal Methods of Computing Proceedings of the Third Imperial College Workshop"},{"journal-title":"PCF extended with real numbers A domain-theoretic approach to higher-order exact real number computation","year":"1996","author":"escard\ufffd","key":"ref7"},{"journal-title":"Abstract and concrete categories","year":"1990","author":"adamek","key":"ref2"},{"journal-title":"Scott domain theory as a foundation for interval analysis","year":"1993","author":"escard\ufffd","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"ref20","first-page":"66","author":"scott","year":"1972","journal-title":"Formal Semantics of Programming Languages"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90045-7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90095-B"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1017\/CBO9780511525902.016","author":"smyth","year":"1992","journal-title":"Applications of Categories in Computer Science"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000384"},{"journal-title":"Set Theory and Logic","year":"1966","author":"stoll","key":"ref25"}],"event":{"name":"Twelfth Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-97","location":"Warsaw, Poland"},"container-title":["Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/4856\/13410\/00614963.pdf?arnumber=614963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T19:56:03Z","timestamp":1516305363000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/614963\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/lics.1997.614963","relation":{},"subject":[]}}