{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:55:13Z","timestamp":1648742113307},"reference-count":12,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.64.5","type":"journal-article","created":{"date-parts":[[2011,8,19]],"date-time":"2011-08-19T06:15:45Z","timestamp":1313734545000},"page":"59-73","source":"Crossref","is-referenced-by-count":4,"title":["Soft Session Types"],"prefix":"10.4204","volume":"64","author":[{"given":"Ugo","family":"Dal Lago","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Di Giamberardino","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2011,8,20]]},"reference":[{"key":"Caires10","series-title":"LNCS","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 2010","volume":"6269","author":"Lu\\'\u0131s Caires","year":"2010"},{"key":"Caires11","article-title":"Dependent Session Types via Intuitionistic Linear Type Theory","volume-title":"PPDP 2011","author":"Lu\\'\u0131s Caires","year":"2011"},{"issue":"4","key":"DalLago06","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1017\/S0960129506005421","article-title":"On light logics, uniform encodings and polynomial time","volume":"16","author":"Ugo Dal Lago","year":"2006","journal-title":"Mathematical Structures in Computer Science"},{"key":"DalLago10b","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"46","DOI":"10.4204\/EPTCS.41.4","article-title":"Light Logics and Higher-Order Processes","volume-title":"EXPRESS'10","volume":"41","author":"Ugo Dal Lago","year":"2010"},{"issue":"2","key":"DalLago10a","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.tcs.2009.07.045","article-title":"Quantum implicit computational complexity","volume":"411","author":"Ugo Dal Lago","year":"2010","journal-title":"Theor. Comput. Sci."},{"key":"Girard87","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear Logic","volume":"50","author":"Jean-Yves Girard","year":"1987","journal-title":"Theor. Comput. Sci."},{"key":"Honda98","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","article-title":"Language Primitives and Type Discipline for Structured Communication-Based Programming","volume-title":"ESOP","volume":"1381","author":"Kohei Honda","year":"1998"},{"key":"Honda08","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328438.1328472","article-title":"Multiparty asynchronous session types","volume-title":"POPL 2008","author":"Kohei Honda","year":"2008"},{"key":"Lafont04","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.tcs.2003.10.018","article-title":"Soft linear logic and polynomial time","volume":"318","author":"Yves Lafont","year":"2004","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"Mairson92","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/0304-3975(92)90020-G","article-title":"A Simple Proof of a Theorem of Statman","volume":"103","author":"Harry G. Mairson","year":"1992","journal-title":"Theor. Comput. Sci."},{"key":"Mostrous07","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73228-0_23","article-title":"Two Session Typing Systems for Higher-Order Mobile Processes","volume-title":"TLCA 2007","volume":"4583","author":"Dimitris Mostrous","year":"2007"},{"key":"Statman79","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(79)90007-0","article-title":"The Typed lambda-Calculus is not Elementary Recursive","volume":"9","author":"Richard Statman","year":"1979","journal-title":"Theor. Comput. Sci."}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,8,29]],"date-time":"2011-08-29T02:20:34Z","timestamp":1314584434000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1108.4467v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,20]]},"references-count":12,"URL":"https:\/\/doi.org\/10.4204\/eptcs.64.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,20]]}}}