{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:22:06Z","timestamp":1749334926423},"reference-count":21,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.242.3","type":"journal-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T04:21:16Z","timestamp":1486441276000},"page":"4-19","source":"Crossref","is-referenced-by-count":3,"title":["Intersections and Unions of Session Types"],"prefix":"10.4204","volume":"242","author":[{"given":"Co\u015fku","family":"Acay","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2017,2,7]]},"reference":[{"key":"Acay16","volume-title":"Refinements for Session Typed Concurrency","author":"Acay","year":"2016"},{"key":"AmadioC91","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/99583.99600","article-title":"Subtyping Recursive Types","volume-title":"POPL","author":"Amadio","year":"1991"},{"issue":"2","key":"Barbanera95ic","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1006\/inco.1995.1086","article-title":"Intersection and Union Types: Syntax and Semantics","volume":"119","author":"Barbanera","year":"1995","journal-title":"Inf. Comput."},{"key":"CairesPPT13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-37036-6_19","article-title":"Behavioral Polymorphism and Parametricity in Session-Based Communication","volume-title":"ESOP","volume":"7792","author":"Caires","year":"2013"},{"key":"CairesP10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","article-title":"Session Types as Intuitionistic Linear Propositions","volume-title":"CONCUR","volume":"6269","author":"Caires","year":"2010"},{"key":"CastagnaDGP09","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/1599410.1599437","article-title":"Foundations of session types","volume-title":"PPDP","author":"Castagna","year":"2009"},{"issue":"10","key":"CervesatoS09","doi-asserted-by":"publisher","first-page":"1044","DOI":"10.1016\/j.ic.2008.11.006","article-title":"Relating state-based and process-based concurrency through linear logic (full-version)","volume":"207","author":"Cervesato","year":"2009","journal-title":"Inf. Comput."},{"key":"NicolaH87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","article-title":"CCS without tau's","volume-title":"TAPSOFT, Vol.1","volume":"249","author":"De Nicola","year":"1987"},{"key":"DeYoungCPT12","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"228","DOI":"10.4230\/LIPIcs.CSL.2012.228","article-title":"Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication","volume-title":"CSL","volume":"16","author":"DeYoung","year":"2012"},{"key":"Dunfield03","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-36576-1_16","article-title":"Type Assignment for Intersections and Unions in Call-by-Value Languages","volume-title":"FoSSaCS","volume":"2620","author":"Dunfield","year":"2003"},{"key":"DunfieldP04","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/964001.964025","article-title":"Tridirectional typechecking","volume-title":"POPL","author":"Dunfield","year":"2004"},{"key":"FreemanP91","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/113445.113468","article-title":"Refinement Types for ML","volume-title":"PLDI","author":"Freeman","year":"1991"},{"key":"GayH05","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","article-title":"Subtyping for session types in the pi calculus","volume":"42","author":"Gay","year":"2005","journal-title":"Acta Inf."},{"key":"Gentzen35","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","article-title":"Untersuchungen \u00fcber das Logische Schlie\u00dfen","volume":"39","author":"Gentzen","year":"1935","journal-title":"Mathematische Zeitschrift"},{"key":"Girard87","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear Logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theor. Comput. Sci."},{"key":"Griffith16phd","doi-asserted-by":"crossref","DOI":"10.2172\/1562827","volume-title":"Polarized Substructural Session Types","author":"Griffith","year":"2016"},{"key":"Honda93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","article-title":"Types for Dyadic Interaction","volume-title":"CONCUR","volume":"715","author":"Honda","year":"1993"},{"key":"Padovani10","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"71","DOI":"10.4204\/EPTCS.45.6","article-title":"Session Types = Intersection Types + Union Types","volume-title":"ITRS","volume":"45","author":"Padovani","year":"2010"},{"key":"PfenningG15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-46678-0_1","article-title":"Polarized Substructural Session Types","volume-title":"FoSSaCS","volume":"9034","author":"Pfenning","year":"2015"},{"key":"Simmons12","volume-title":"Substructural Logical Specifications","author":"Simmons","year":"2012"},{"key":"ToninhoCP13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-37036-6_20","article-title":"Higher-Order Processes, Functions, and Sessions: A Monadic Integration","volume-title":"ESOP","volume":"7792","author":"Toninho","year":"2013"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T23:34:40Z","timestamp":1601595280000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1702.02272v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.4204\/eptcs.242.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,7]]}}}