image/svg+xmli LinearLogicandSub-polynomialClassesofComplexity Thèseenvuedel’obtentiondudiplômededocteurdel’UniversitédeParis :3 eninformatiqueprésentéeparClément Aubert <aubert@lipn.fr> Mémoireenvued’unesoutenancele 26 novembre 20:3 ,soumisàl’appréciationdelacommissiond’examencomposéede: TxT