Structural Cut Elimination
(2000) : Pfenning, Frank
DOI: https://doi.org/10.1006/inco.1999.2832
#structural_induction #cut_elimination #sequent_calculus #logic #my_bibtex

Structural Cut Elimination
(2000) : Pfenning, Frank
DOI: https://doi.org/10.1006/inco.1999.2832
#structural_induction #sequent_calculus #cut_elimination #logic #my_bibtex