Linear Logic and Sub-polynomial Classes of Complexity. (Logique linéaire et classes de complexité sous-polynomiales)

Clément Aubert. Linear Logic and Sub-polynomial Classes of Complexity. (Logique linéaire et classes de complexité sous-polynomiales). PhD thesis, Paris 13 University, Villetaneuse, Saint-Denis, Bobigny, France, 2013. [doi]

Abstract

Abstract is missing.