Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek Mechanizing focused linear logic in Coq. (English) Zbl 1433.68586 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 219-236 (2018). MSC: 68V20 03B35 03F05 03F52 68V15 PDFBibTeX XMLCite \textit{B. Xavier} et al., Electron. Notes Theor. Comput. Sci. 338, 219--236 (2018; Zbl 1433.68586) Full Text: DOI
Nigam, Vivek; Miller, Dale A framework for proof systems. (English) Zbl 1242.03057 J. Autom. Reasoning 45, No. 2, 157-188 (2010). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{V. Nigam} and \textit{D. Miller}, J. Autom. Reasoning 45, No. 2, 157--188 (2010; Zbl 1242.03057) Full Text: DOI
Nigam, Vivek; Miller, Dale Focusing in linear meta-logic. (English) Zbl 1165.03331 Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 507-522 (2008). MSC: 03B70 03F52 PDFBibTeX XMLCite \textit{V. Nigam} and \textit{D. Miller}, Lect. Notes Comput. Sci. 5195, 507--522 (2008; Zbl 1165.03331) Full Text: DOI