Cite
Formalized meta-theory of sequent calculi for linear logics.
MLA
Chaudhuri, Kaustuv, et al. “Formalized Meta-Theory of Sequent Calculi for Linear Logics.” Theoretical Computer Science, vol. 781, Aug. 2019, pp. 24–38. EBSCOhost, https://doi.org/10.1016/j.tcs.2019.02.023.
APA
Chaudhuri, K., Lima, L., & Reis, G. (2019). Formalized meta-theory of sequent calculi for linear logics. Theoretical Computer Science, 781, 24–38. https://doi.org/10.1016/j.tcs.2019.02.023
Chicago
Chaudhuri, Kaustuv, Leonardo Lima, and Giselle Reis. 2019. “Formalized Meta-Theory of Sequent Calculi for Linear Logics.” Theoretical Computer Science 781 (August): 24–38. doi:10.1016/j.tcs.2019.02.023.