{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T05:27:34Z","timestamp":1784093254724,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370359","type":"print"},{"value":"9783642370366","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37036-6_20","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:35:55Z","timestamp":1361216155000},"page":"350-369","source":"Crossref","is-referenced-by-count":65,"title":["Higher-Order Processes, Functions, and Sessions: A Monadic Integration"],"prefix":"10.1007","author":[{"given":"Bernardo","family":"Toninho","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luis","family":"Caires","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Abel, A.: Type-based termination, inflationary fixed-points, and mixed inductive-coinductive types. In: Proceedings of FICS 2012, pp. 1\u201311 (2012)","DOI":"10.4204\/EPTCS.77.1"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-12032-9_21","volume-title":"Foundations of Software Science and Computational Structures","author":"T. Altenkirch","year":"2010","unstructured":"Altenkirch, T., Chapman, J., Uustalu, T.: Monads Need Not Be Endofunctors. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 297\u2013311. Springer, Heidelberg (2010)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0022251","volume-title":"Computer Science Logic","author":"P.N. Benton","year":"1995","unstructured":"Benton, P.N.: A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, pp. 121\u2013135. Springer, Heidelberg (1995)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L. Caires","year":"2010","unstructured":"Caires, L., Pfenning, F.: Session Types as Intuitionistic Linear Propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 222\u2013236. Springer, Heidelberg (2010)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Caires, L., Pfenning, F., Toninho, B.: Towards concurrent type theory. In: Types in Language Design and Implementation, pp. 1\u201312 (2012)","DOI":"10.1145\/2103786.2103788"},{"key":"20_CR6","unstructured":"Caires, L., P\u00e9rez, J.A., Pfenning, F., Toninho, B.: Relational parametricity for polymorphic session types. Tech. Rep. CMU-CS-12-108, Carnegie Mellon Univ. (2012)"},{"issue":"10","key":"20_CR7","doi-asserted-by":"publisher","first-page":"1044","DOI":"10.1016\/j.ic.2008.11.006","volume":"207","author":"I. Cervesato","year":"2009","unstructured":"Cervesato, I., Scedrov, A.: Relating state-based and process-based concurrency through linear logic. Information and Computation\u00a0207(10), 1044\u20131077 (2009)","journal-title":"Information and Computation"},{"key":"20_CR8","unstructured":"DeYoung, H., Caires, L., Pfenning, F., Toninho, B.: Cut reduction in linear logic as asynchronous session-typed communication. In: Computer Science Logic (2012)"},{"issue":"1","key":"20_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2627","volume":"137","author":"M. Fairtlough","year":"1997","unstructured":"Fairtlough, M., Mendler, M.: Propositional lax logic. Information and Computation\u00a0137(1), 1\u201333 (1997)","journal-title":"Information and Computation"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","author":"S. Gay","year":"2010","unstructured":"Gay, S., Vasconcelos, V.T.: Linear type theory for asynchronous session types. J. Funct. Programming\u00a020(1), 19\u201350 (2010)","journal-title":"J. Funct. Programming"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR\u201993","author":"K. Honda","year":"1993","unstructured":"Honda, K.: Types for Dyadic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"1998","unstructured":"Hughes, J.: Generalising monads to arrows. Sci. of Comp. Prog.\u00a037, 67\u2013111 (1998)","journal-title":"Sci. of Comp. Prog."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Mazurak, K., Zdancewic, S.: Lolliproc: to concurrency from classical linear logic via curry-howard and control. In: ICFP, pp. 39\u201350 (2010)","DOI":"10.1145\/1932681.1863551"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73228-0_23","volume-title":"Typed Lambda Calculi and Applications","author":"D. Mostrous","year":"2007","unstructured":"Mostrous, D., Yoshida, N.: Two Session Typing Systems for Higher-Order Mobile Processes. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol.\u00a04583, pp. 321\u2013335. Springer, Heidelberg (2007)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Nanevski, A., Pfenning, F., Pientka, B.: Contextual modal type theory. Transactions on Computational Logic 9(3) (2008)","DOI":"10.1145\/1352582.1352591"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: Principles of Prog. Lang., POPL 1993, pp. 71\u201384 (1993)","DOI":"10.1145\/158511.158524"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Simmons, R.J.: Substructural operational semantics as ordered logic programming. In: Logic in Comp. Sci., pp. 101\u2013110 (2009)","DOI":"10.1109\/LICS.2009.8"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Swamy, N., Chen, J., Fournet, C., Strub, P.Y., Bhargavan, K., Yang, J.: Secure distributed programming with value-dependent types. In: ICFP, pp. 266\u2013278 (2011)","DOI":"10.1145\/2034574.2034811"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Dependent session types via intuitionistic linear type theory. In: Prin. Pract. Decl. Program., pp. 161\u2013172 (2011)","DOI":"10.1145\/2003476.2003499"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Propositions as sessions. In: ICFP, pp. 273\u2013286 (2012)","DOI":"10.1145\/2398856.2364568"}],"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-642-37036-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T08:16:39Z","timestamp":1557562599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37036-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370359","9783642370366"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37036-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}