research
∙
07/22/2022
Elimination and cut-elimination in multiplicative linear logic
We associate to every proof structure in multiplicative linear logic an ...
research
∙
08/23/2020