Nigam, Vivek; Olarte, Carlos; Pimentel, Elaine On subexponentials, focusing and modalities in concurrent systems. (English) Zbl 1373.68298 Theor. Comput. Sci. 693, 35-58 (2017). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{V. Nigam} et al., Theor. Comput. Sci. 693, 35--58 (2017; Zbl 1373.68298) Full Text: DOI
Olarte, Carlos; Pimentel, Elaine On concurrent behaviors and focusing in linear logic. (English) Zbl 1371.68197 Theor. Comput. Sci. 685, 46-64 (2017). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{C. Olarte} and \textit{E. Pimentel}, Theor. Comput. Sci. 685, 46--64 (2017; Zbl 1371.68197) Full Text: DOI
Olarte, Carlos; Pimentel, Elaine; Nigam, Vivek Subexponential concurrent constraint programming. (English) Zbl 1332.68027 Theor. Comput. Sci. 606, 98-120 (2015). MSC: 68N19 03F52 PDFBibTeX XMLCite \textit{C. Olarte} et al., Theor. Comput. Sci. 606, 98--120 (2015; Zbl 1332.68027) Full Text: DOI
Miller, Dale; Pimentel, Elaine A formal framework for specifying sequent calculus proof systems. (English) Zbl 1259.03077 Theor. Comput. Sci. 474, 98-116 (2013). MSC: 03F52 03F05 PDFBibTeX XMLCite \textit{D. Miller} and \textit{E. Pimentel}, Theor. Comput. Sci. 474, 98--116 (2013; Zbl 1259.03077) Full Text: DOI
Ayala-Rincon, Mauricio (ed.); Pimentel, Elaine (ed.); Kamareddine, Fairouz (ed.) Special issue: Logical and semantic frameworks with applications (LSFA 2008 and 2009). Selected papers based on the presentations at the 3rd and 4th workshops, Ouro Preto and Brasília, Brazil, August 2008 and August 2009. (English) Zbl 1255.68017 Theor. Comput. Sci. 412, No. 37, 4851-4966 (2011). MSC: 68-06 03-06 03B70 68N30 00B25 PDFBibTeX XML
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona Strong normalization from an unusual point of view. (English) Zbl 1222.03020 Theor. Comput. Sci. 412, No. 20, 1903-1915 (2011). MSC: 03B40 PDFBibTeX XMLCite \textit{L. Paolini} et al., Theor. Comput. Sci. 412, No. 20, 1903--1915 (2011; Zbl 1222.03020) Full Text: DOI