{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:15:54Z","timestamp":1759637754143},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678953"},{"type":"electronic","value":"9783540446224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44622-2_19","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:32:38Z","timestamp":1187253158000},"page":"292-301","source":"Crossref","is-referenced-by-count":16,"title":["Disjunctive Tautologies as Synchronisation Schemes"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Jean-Louis","family":"Krivine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"V. Danos, J.-B. Joinet, H. Schellinx. A New Deconstructive Logic: Linear Logic (1996). Journal of Symbolic Logic.","DOI":"10.2307\/2275572"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. A New Constructive Logic: Classical Logic (1992). Mathematical Structures in Computer Science.","DOI":"10.1017\/S0960129500001328"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"T. Griffin. A formulae-as-types notion of control (1990). In Proceedings of POPL\u201990.","DOI":"10.1145\/96709.96714"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"J.-L. Krivine. Typed Lambda-Calculus and Classical ZF Set-Theory (2000). Archive for Mathematical Logic.","DOI":"10.1007\/s001530000057"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"L. Ong, C. Stewart. A Curry-Howard Foundation for Functional Computation with Control(1997). In Proceedings of POPL\u201997.","DOI":"10.1145\/263699.263722"},{"key":"19_CR6","unstructured":"M. Parigot. Strong Normalization for Second-Order Lambda-Mu Calculus (1993). In Proceedings of LICS\u201993."},{"key":"19_CR7","unstructured":"Moscova Project. The Join-Calculus Language: http:\/\/pauillac.inria.fr\/join\/ ."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44622-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:17:43Z","timestamp":1556770663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44622-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678953","9783540446224"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-44622-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}