Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes
Fabrizio Montesi, Marco Peressotti
[2021].
In CoRR abs/2106.11818.
@article{DBLP:journals/corr/abs-2106-11818, author = {Fabrizio Montesi and Marco Peressotti}, title = {Linear Logic, the {\(\pi\)}-calculus, and their Metatheory: {A} Recipe for Proofs as Processes}, journal = {CoRR}, volume = {abs/2106.11818}, year = {2021}, url = {https://arxiv.org/abs/2106.11818}, eprinttype = {arXiv}, eprint = {2106.11818}, timestamp = {Wed, 30 Jun 2021 16:14:10 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-11818.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }