research
∙
08/06/2020
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be ...
share
research
∙
10/17/2019
Glueability of resource proof-structures: inverting the Taylor expansion (long version)
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be ...
research
∙
04/12/2019
Proceedings Joint International Workshop on Linearity Trends in Linear Logic and Applications
This volume contains a selection of papers presented at Linearity/TLLA 2...
research
∙
02/01/2019