{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:25:24Z","timestamp":1759638324814},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054495X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013453","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:51:37Z","timestamp":1132728697000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["Stone duality for stable functions"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ehrhard","sequence":"first","affiliation":[]},{"given":"Pasquale","family":"Malacaria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"S. Abramsky. Domain theory in logical form. Proceedings of the second annual symposium on Logic in Computer Science, 1987."},{"key":"1_CR2","unstructured":"G. Berry. Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des lambda-calculs typ\u00e9s. Th\u00e8se d'Etat."},{"key":"1_CR3","unstructured":"P. Johnstone Stone Spaces. Cambridge University Press 1982."},{"key":"1_CR4","unstructured":"A. Jung. Cartesian closed categories of domains. Dissertation, FB Mathematik der TH Darmstadt 1988."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the working mathematician. Springer Verlag 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"G.Q. Zhang. Logics of domains. Technical report no 185. University of Cambridge, Computer Laboratory, dec 1989.","DOI":"10.7146\/dpb.v18i298.6692"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:06Z","timestamp":1586579346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013453"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054495X"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0013453","relation":{},"subject":[]}}