Lorenzo Tortora de Falco | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Giulio Guerrieri
20 publications
Thomas Seiller
17 publications
Paolo Pistone
17 publications
Lê Thành Dũng Nguyên
14 publications
Valeria de Paiva
14 publications
Thomas Ehrhard
13 publications
Maribel Fernández
7 publications
Luc Pellissier
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

∙ 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

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

0 Thomas Ehrhard, et al. ∙

research

∙ 02/01/2019

Finite semantics of polymorphism, complexity and the power of type fixpoints

Many applications of denotational semantics, such as higher-order model ...

0 Lê Thành Dũng Nguyên, et al. ∙