research
∙
08/06/2020
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be ...
research
∙
02/24/2020
Lower bounds for prams over Z
This paper presents a new abstract method for proving lower bounds in co...
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
∙
11/16/2018