Concepedia

Publication | Open Access

Formalized meta-theory of sequent calculi for linear logics

DOIFull Paper Access

13

Citations

14

References

2019

Year

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Theoretical Computer Science

References

YearCitations

Page 1