Luc Pellissier | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Giulio Guerrieri
20 publications
Thomas Seiller
17 publications
Lorenzo Tortora de Falco
4 publications

research

∙ 08/06/2020

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be ...

0 Giulio Guerrieri, et al. ∙

research

∙ 02/24/2020

Lower bounds for prams over Z

This paper presents a new abstract method for proving lower bounds in co...

0 Luc Pellissier, et al. ∙

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 ...

0 Giulio Guerrieri, et al. ∙

research

∙ 11/16/2018

PRAMs over integers do not compute maxflow efficiently

Finding lower bounds in complexity theory has proven to be an extremely ...

0 Luc Pellissier, et al. ∙