@article(DBLP:journals/tcs/Abramsky93,
 author       = {Samson Abramsky},
 year         = {1993},
 title        = {Computational Interpretations of Linear Logic},
 journal      = {Theor. Comput. Sci.},
 volume       = {111},
 number       = {1{\&}2},
 pages        = {3--57},
 doi          = {10.1016/0304-3975(93)90181-R},
)
@article(DBLP:journals/tcs/Abramsky94,
 author       = {Samson Abramsky},
 year         = {1994},
 title        = {Proofs as Processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {135},
 number       = {1},
 pages        = {5--9},
 doi          = {10.1016/0304-3975(94)00103-0},
)
@article(DBLP:journals/logcom/Andreoli92,
 author       = {Jean{-}Marc Andreoli},
 year         = {1992},
 title        = {Logic Programming with Focusing Proofs in Linear Logic},
 journal      = {J. Log. Comput.},
 volume       = {2},
 number       = {3},
 pages        = {297--347},
 doi          = {10.1093/logcom/2.3.297},
)
@inproceedings(DBLP:conf/tlca/BentonBPH93,
 author       = {P. N. Benton and Gavin M. Bierman and Valeria de Paiva and Martin Hyland},
 year         = {1993},
 title        = {A Term Calculus for Intuitionistic Linear Logic},
 booktitle    = {{TLCA}},
 series       = {Lecture Notes in Computer Science},
 volume       = {664},
 publisher    = {Springer},
 pages        = {75--90},
 doi          = {10.1007/BFb0037099},
)
@article(DBLP:journals/tcs/Boreale98,
 author       = {Michele Boreale},
 year         = {1998},
 title        = {On the Expressiveness of Internal Mobility in Name-Passing Calculi},
 journal      = {Theor. Comput. Sci.},
 volume       = {195},
 number       = {2},
 pages        = {205--226},
 doi          = {10.1016/S0304-3975(97)00220-X},
)
@inproceedings(DBLP:conf/esop/CairesP17,
 author       = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez},
 year         = {2017},
 title        = {Linearity, Control Effects, and Behavioral Types},
 booktitle    = {{ESOP}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10201},
 publisher    = {Springer},
 pages        = {229--259},
 doi          = {10.1007/978-3-662-54434-1\_9},
)
@inproceedings(DBLP:conf/concur/CairesPPT19,
 author       = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez and Frank Pfenning and Bernardo Toninho},
 year         = {2019},
 title        = {Domain-Aware Session Types},
 booktitle    = {{CONCUR}},
 series       = {LIPIcs},
 volume       = {140},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {39:1--39:17},
 doi          = {10.4230/LIPIcs.CONCUR.2019.39},
)
@inproceedings(DBLP:conf/concur/CairesP10,
 author       = {Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2010},
 title        = {Session Types as Intuitionistic Linear Propositions},
 editor       = {Paul Gastin and Fran{\c{c}}ois Laroussinie},
 booktitle    = {{CONCUR} 2010},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4\_16},
)
@article(DBLP:journals/mscs/CairesPT16,
 author       = {Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2016},
 title        = {Linear logic propositions as session types},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {26},
 number       = {3},
 pages        = {367--423},
 doi          = {10.1017/S0960129514000218},
)
@article(DBLP:journals/mscs/CapecchiCD16,
 author       = {Sara Capecchi and Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola},
 year         = {2016},
 title        = {Information flow safety in multiparty sessions},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {26},
 number       = {8},
 pages        = {1352--1394},
 doi          = {10.1017/S0960129514000619},
)
@article(DBLP:journals/mscs/ChaudhuriDOP19,
 author       = {Kaustuv Chaudhuri and Jo{\"{e}}lle Despeyroux and Carlos Olarte and Elaine Pimentel},
 year         = {2019},
 title        = {Hybrid linear logic, revisited},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {29},
 number       = {8},
 pages        = {1151--1176},
 doi          = {10.1017/S0960129518000439},
)
@inproceedings(DBLP:conf/sfm/CoppoDPY15,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Luca Padovani and Nobuko Yoshida},
 year         = {2015},
 title        = {A Gentle Introduction to Multiparty Asynchronous Session Types},
 booktitle    = {{SFM}},
 series       = {LNCS},
 volume       = {9104},
 publisher    = {Springer},
 pages        = {146--178},
 doi          = {10.1007/978-3-319-18941-3\_4},
)
@inproceedings(danos93kgc,
 author       = {Vincent Danos and Jean{-}Baptiste Joinet and Harold Schellinx},
 year         = {1993},
 title        = {The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs},
 booktitle    = {Kurt G{\"{o}}del Colloquium},
 series       = {Lecture Notes in Computer Science},
 volume       = {713},
 publisher    = {Springer},
 pages        = {159--171},
 doi          = {10.1007/BFb0022564},
)
@article(DBLP:journals/jacm/DaviesP01,
 author       = {Rowan Davies and Frank Pfenning},
 year         = {2001},
 title        = {A modal analysis of staged computation},
 journal      = {J. {ACM}},
 volume       = {48},
 number       = {3},
 pages        = {555--604},
 doi          = {10.1145/382780.382785},
)
@inproceedings(DBLP:conf/types/DespeyrouxC13,
 author       = {Jo{\"{e}}lle Despeyroux and Kaustuv Chaudhuri},
 year         = {2013},
 title        = {A Hybrid Linear Logic for Constrained Transition Systems},
 booktitle    = {{TYPES}},
 series       = {LIPIcs},
 volume       = {26},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {150--168},
 doi          = {10.4230/LIPIcs.TYPES.2013.150},
)
@inproceedings(deyoung:LIPIcs:2012:3675,
 author       = {Henry DeYoung and Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2012},
 title        = {Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication},
 booktitle    = {{CSL}},
 series       = {LIPIcs},
 volume       = {16},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {228--242},
 doi          = {10.4230/LIPIcs.CSL.2012.228},
)
@inproceedings(DBLP:conf/wsfm/Dezani-Ciancaglinid09,
 author       = {Dezani{-}Ciancaglini, Mariangiola and Ugo de'Liguoro},
 year         = {2009},
 title        = {Sessions and Session Types: An Overview},
 booktitle    = {{WS-FM}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6194},
 publisher    = {Springer},
 pages        = {1--28},
 doi          = {10.1007/978-3-642-14458-5\_1},
)
@article(girard87tcs,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@inproceedings(DBLP:conf/popl/Griffin90,
 author       = {Timothy Griffin},
 year         = {1990},
 title        = {A Formulae-as-Types Notion of Control},
 booktitle    = {{POPL}},
 publisher    = {{ACM} Press},
 pages        = {47--58},
 doi          = {10.1145/96709.96714},
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {{ESOP}},
 series       = {Lecture Notes in Computer Science},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(DBLP:journals/csur/HuttelLVCCDMPRT16,
 author       = {Hans H{\"{u}}ttel and Ivan Lanese and Vasco T. Vasconcelos and Lu{\'{\i}}s Caires and Marco Carbone and Pierre{-}Malo Deni{\'{e}}lou and Dimitris Mostrous and Luca Padovani and Ant{\'{o}}nio Ravara and Emilio Tuosto and Hugo Torres Vieira and Gianluigi Zavattaro},
 year         = {2016},
 title        = {Foundations of Session Types and Behavioural Contracts},
 journal      = {{ACM} Comput. Surv.},
 volume       = {49},
 number       = {1},
 pages        = {3:1--3:36},
 doi          = {10.1145/2873052},
)
@article(DBLP:journals/lmcs/KesnerV19,
 author       = {Delia Kesner and Pierre Vial},
 year         = {2020},
 title        = {Non-idempotent types for classical calculi in natural deduction style},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {16},
 number       = {1},
 doi          = {10.23638/LMCS-16(1:3)2020},
)
@inproceedings(DBLP:conf/lpar/LellmannOP17,
 author       = {Bj{\"{o}}rn Lellmann and Carlos Olarte and Elaine Pimentel},
 year         = {2017},
 title        = {A uniform framework for substructural logics with modalities},
 booktitle    = {{LPAR}},
 series       = {EPiC Series in Computing},
 volume       = {46},
 publisher    = {EasyChair},
 pages        = {435--455},
 doi          = {10.29007/93qg},
)
@inproceedings(miller87lics,
 author       = {Dale Miller and Gopalan Nadathur and Andre Scedrov},
 year         = {1987},
 title        = {Hereditary Harrop Formulas and Uniform Proof Systems},
 booktitle    = {{LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {98--105},
)
@article(DBLP:journals/iandc/MilnerPW92a,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A Calculus of Mobile Processes, {I}},
 journal      = {Inf. Comput.},
 volume       = {100},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@article(DBLP:journals/tocl/NanevskiPP08,
 author       = {Aleksandar Nanevski and Frank Pfenning and Brigitte Pientka},
 year         = {2008},
 title        = {Contextual modal type theory},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {9},
 number       = {3},
 pages        = {23:1--23:49},
 doi          = {10.1145/1352582.1352591},
)
@inproceedings(DBLP:conf/forte/NantesP18,
 author       = {Daniele Nantes and Jorge A. P{\'{e}}rez},
 year         = {2018},
 title        = {Relating Process Languages for Security and Communication Correctness (Extended Abstract)},
 booktitle    = {{FORTE}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10854},
 publisher    = {Springer},
 pages        = {79--100},
 doi          = {10.1007/978-3-319-92612-4\_5},
)
@inproceedings(DBLP:conf/ppdp/NigamM09,
 author       = {Vivek Nigam and Dale Miller},
 year         = {2009},
 title        = {Algorithmic specifications in linear logic with subexponentials},
 booktitle    = {{PPDP}},
 publisher    = {{ACM}},
 pages        = {129--140},
 doi          = {10.1145/1599410.1599427},
)
@article(DBLP:journals/tcs/NigamOP17,
 author       = {Vivek Nigam and Carlos Olarte and Elaine Pimentel},
 year         = {2017},
 title        = {On subexponentials, focusing and modalities in concurrent systems},
 journal      = {Theor. Comput. Sci.},
 volume       = {693},
 pages        = {35--58},
 doi          = {10.1016/j.tcs.2017.06.009},
)
@article(DBLP:journals/tcs/OlartePN15,
 author       = {Carlos Olarte and Elaine Pimentel and Vivek Nigam},
 year         = {2015},
 title        = {Subexponential concurrent constraint programming},
 journal      = {Theor. Comput. Sci.},
 volume       = {606},
 pages        = {98--120},
 doi          = {10.1016/j.tcs.2015.06.031},
)
@inproceedings(DBLP:conf/lpar/Parigot92,
 author       = {Michel Parigot},
 year         = {1992},
 title        = {Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction},
 booktitle    = {{LPAR}},
 series       = {Lecture Notes in Computer Science},
 volume       = {624},
 publisher    = {Springer},
 pages        = {190--201},
 doi          = {10.1007/BFb0013061},
)
@article(DBLP:journals/tplp/PimentelON14,
 author       = {Elaine Pimentel and Carlos Olarte and Vivek Nigam},
 year         = {2014},
 title        = {A Proof Theoretic Study of Soft Concurrent Constraint Programming},
 journal      = {Theory Pract. Log. Program.},
 volume       = {14},
 number       = {4-5},
 pages        = {649--663},
 doi          = {10.1017/S147106841400026X},
)
@article(DBLP:journals/tcs/Sangiorgi96a,
 author       = {Davide Sangiorgi},
 year         = {1996},
 title        = {pi-Calculus, Internal Mobility, and Agent-Passing Calculi},
 journal      = {Theor. Comput. Sci.},
 volume       = {167},
 number       = {1{\&}2},
 pages        = {235--274},
 doi          = {10.1016/0304-3975(96)00075-8},
)
@book(Sorensen06,
 author       = {S\~A\IeC{\c\ }rensen, Morten Heine B. and Pawel Urzyczyn},
 year         = {2006},
 title        = {Lectures on the Curry-Howard Isomorphism},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {149},
 publisher    = {Elsevier Science},
)
@inproceedings(DBLP:conf/parle/TakeuchiHK94,
 author       = {Kaku Takeuchi and Kohei Honda and Makoto Kubo},
 year         = {1994},
 title        = {An Interaction-based Language and its Typing System},
 booktitle    = {{PARLE}},
 series       = {LNCS},
 volume       = {817},
 publisher    = {Springer},
 pages        = {398--413},
 doi          = {10.1007/3-540-58184-7\_118},
)
@inproceedings(DBLP:conf/fossacs/ToninhoCP12,
 author       = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2012},
 title        = {Functions as Session-Typed Processes},
 editor       = {Lars Birkedal},
 booktitle    = {{FOSSACS} 2012},
 series       = {LNCS},
 volume       = {7213},
 publisher    = {Springer},
 pages        = {346--360},
 doi          = {10.1007/978-3-642-28729-9\_23},
)
@book(troelstra92csli,
 author       = {Anne S. Troelstra},
 year         = {1992},
 title        = {Lectures on Linear Logic},
 publisher    = {CSLI Lecture Notes 29, Center for the Study of Language and Information},
 address      = {Stanford, California},
)