Investigating the expressivity of linear logic subsystems characterizing polynomial time. (Exploration de l'expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Matthieu Perrinel. Investigating the expressivity of linear logic subsystems characterizing polynomial time. (Exploration de l'expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial). PhD thesis, École normale supérieure de Lyon, France, 2015. [doi]

Abstract is missing.

runs on WebDSL