Linear Logic
(1987) : Girard, Jean-Yves
DOI: https://doi.org/10.1016/0304-3975(87)90045-4
#proof_theory #coherent_spaces #linear_logic #semantics #sequent_calculus #my_bibtex

Linear Logic
(1987) : Girard, Jean-Yves
DOI: https://doi.org/10.1016/0304-3975(87)90045-4
#coherent_spaces #sequent_calculus #proof_theory #linear_logic #semantics #my_bibtex

Linear Logic
(1987) : Jean-Yves Girard
DOI: https://doi.org/10.1016/0304-3975(87)90045-4
#coherent_spaces #linear_logic #proof_theory #semantics #sequent_calculus
#my_bibtex

Linear Logic
(1987) : Jean-Yves Girard
DOI: https://doi.org/10.1016/0304-3975(87)90045-4
#coherent_spaces #linear_logic #proof_theory #semantics #sequent_calculus
#my_bibtex