Erika De Benedetti. Linear logic, type assignment systems and implicit computational complexity. (Logique linéaire, systèmes de types et complexité implicite). PhD thesis, École normale supérieure de Lyon, France, 2015. [doi]
@phdthesis{hal-13680,
title = {Linear logic, type assignment systems and implicit computational complexity. (Logique linéaire, systèmes de types et complexité implicite)},
author = {Erika De Benedetti},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01123737},
researchr = {https://researchr.org/publication/hal-13680},
cites = {0},
citedby = {0},
school = {École normale supérieure de Lyon, France},
}