{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:44:54Z","timestamp":1725806694302},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319127354"},{"type":"electronic","value":"9783319127361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12736-1_7","type":"book-chapter","created":{"date-parts":[[2014,10,13]],"date-time":"2014-10-13T10:53:24Z","timestamp":1413197604000},"page":"120-139","source":"Crossref","is-referenced-by-count":1,"title":["A Translation of Intersection and Union Types for the \u03bb\u03bc-Calculus"],"prefix":"10.1007","author":[{"given":"Kentaro","family":"Kikuchi","sequence":"first","affiliation":[]},{"given":"Takafumi","family":"Sakurai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(92)90297-S","volume":"102","author":"S. Bakel van","year":"1992","unstructured":"van Bakel, S.: Complete restrictions of the intersection type discipline. Theor. Comput. Sci.\u00a0102(1), 135\u2013163 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1400","DOI":"10.1016\/j.apal.2010.04.010","volume":"161","author":"S. Bakel van","year":"2010","unstructured":"van Bakel, S.: Completeness and partial soundness results for intersection and union typing for \n                    \n                      \n                    \n                    $\\overline\\lambda\\mu\\widetilde{\\mu}$\n                  . Ann. Pure Appl. Logic\u00a0161(11), 1400\u20131430 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"van Bakel, S.: Sound and complete typing for \u03bb\u03bc. In: Proc. ITRS 2010. EPTCS, vol.\u00a045, pp. 31\u201344 (2011)","DOI":"10.4204\/EPTCS.45.3"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"van Bakel, S.: Strict intersection types for the lambda calculus. ACM Comput. Surv.\u00a043(3) (2011)","DOI":"10.1145\/1922649.1922657"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"van Bakel, S., Barbanera, F., de\u2019Liguoro, U.: A filter model for the \u03bb\u03bc-calculus. In: Ong, L. (ed.) TLCA 2011. LNCS, vol.\u00a06690, pp. 213\u2013228. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21691-6_18"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"van Bakel, S., Barbanera, F., de\u2019Liguoro, U.: Characterisation of strongly normalising \u03bb\u03bc-terms. In: Proc. ITRS 2012. EPTCS, vol.\u00a0121, pp. 1\u201317 (2013)","DOI":"10.4204\/EPTCS.121.1"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1006\/inco.1996.0025","volume":"125","author":"F. Barbanera","year":"1996","unstructured":"Barbanera, F., Berardi, S.: A symmetric lambda calculus for classical program extraction. Inform. and Comput.\u00a0125(2), 103\u2013117 (1996)","journal-title":"Inform. and Comput."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Barbanera, F., Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Intersection and union types: Syntax and semantics. Inform. and Comput. 119(2), 202\u2013230 (1995)","DOI":"10.1006\/inco.1995.1086"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Curien, P.-L., Herbelin, H.: The duality of computation. In: Proc. ICFP 2000, pp. 233\u2013243 (2000)","DOI":"10.1145\/357766.351262"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Dougherty, D., Ghilezan, S., Lescanne, P.: Characterizing strong normalization in a language with control operators. In: Proc. PPDP 2004, pp. 155\u2013166 (2004)","DOI":"10.1145\/1013963.1013982"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.entcs.2005.06.010","volume":"136","author":"D. Dougherty","year":"2005","unstructured":"Dougherty, D., Ghilezan, S., Lescanne, P.: Intersection and union types in the \n                    \n                      \n                    \n                    $\\overline\\lambda\\mu\\widetilde{\\mu}$\n                  -calculus. Electr. Notes Theor. Comput. Sci.\u00a0136, 153\u2013172 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1-3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.tcs.2008.01.022","volume":"398","author":"D. Dougherty","year":"2008","unstructured":"Dougherty, D., Ghilezan, S., Lescanne, P.: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci.\u00a0398(1-3), 114\u2013128 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-36576-1_16","volume-title":"Foundations of Software Science and Computational Structures","author":"J. Dunfield","year":"2003","unstructured":"Dunfield, J., Pfenning, F.: Type assignment for intersections and unions in call-by-value languages. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 250\u2013266. Springer, Heidelberg (2003)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Griffin, T.: A formulae-as-types notion of control. In: Proc. POPL 1990, pp. 47\u201358 (1990)","DOI":"10.1145\/96709.96714"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BFb0022247","volume-title":"Computer Science Logic","author":"H. Herbelin","year":"1995","unstructured":"Herbelin, H.: A \u03bb-calculus structure isomorphic to Gentzen-style sequent calculus structure. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, pp. 61\u201375. Springer, Heidelberg (1995)"},{"key":"7_CR16","unstructured":"Herbelin, H.: S\u00e9quents qu\u2019on calcule. Th\u00e8se de Doctorat, Universit\u00e9 Paris 7 (1995)"},{"key":"7_CR17","unstructured":"Kikuchi, K., Sakurai, T.: A translation of intersection and union types for the \u03bb\u03bc-calculus (long version), \n                    \n                      http:\/\/www.nue.riec.tohoku.ac.jp\/user\/kentaro\/"},{"key":"7_CR18","unstructured":"Laurent, O.: On the denotational semantics of the untyped lambda-mu calculus. Unpublished note (January 2004)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BFb0013061","volume-title":"Logic Programming and Automated Reasoning","author":"M. Parigot","year":"1992","unstructured":"Parigot, M.: \u03bb\u03bc-calculus: An algorithmic interpretation of classical natural deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 190\u2013201. Springer, Heidelberg (1992)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-02273-9_20","volume-title":"Typed Lambda Calculi and Applications","author":"C. Riba","year":"2009","unstructured":"Riba, C.: On the values of reducibility candidates. In: Curien, P.-L. (ed.) TLCA 2009. LNCS, vol.\u00a05608, pp. 264\u2013278. Springer, Heidelberg (2009)"},{"issue":"6","key":"7_CR21","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1017\/S0956796898003141","volume":"8","author":"T. Streicher","year":"1998","unstructured":"Streicher, T., Reus, B.: Classical logic, continuation semantics and abstract machines. J. Funct. Program.\u00a08(6), 543\u2013572 (1998)","journal-title":"J. Funct. Program."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12736-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:25:45Z","timestamp":1559003145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12736-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319127354","9783319127361"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12736-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}