Linear logic, type assignment systems and implicit computational complexity
La complexité implicite (ICC) vise à donner des caractérisations de classes de complexité dans des langages de programmation ou des logiques, sans faire référence à des bornes sur les ressources (temps, espace mémoire). Dans cette thèse, nous étudions l’approche de la logique linéaire à la complexit...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015ENSL0981/document |