nope · @stacked_automation
83 followers · 5929 posts · Server mastodon.socialLinear 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
#coherent_spaces #linear_logic #proof_theory #semantics #sequent_calculus #my_bibtex
Last updated 2 years ago