hal-00488531, version 1

Linear logic by levels and bounded time complexity

Patrick Baillot () ¹, Damiano Mazza ²

Journal of Theoretical Computer Science (TCS) 411, 2 (2010) pp. 470--503

• 1 :  Laboratoire de l'Informatique du Parallélisme (LIP)
• Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I
• 2 :  Laboratoire d'informatique de Paris-nord (LIPN)
• CNRS : UMR7030 – Université Paris XIII - Paris Nord

• Domaine : Informatique/Logique en informatique
  Informatique/Complexité
• Mots-clés : implicit computational complexity – light linear logics – type systems for polynomial time

• hal-00488531, version 1
• http://hal.archives-ouvertes.fr/hal-00488531
• oai:hal.archives-ouvertes.fr:hal-00488531
• Contributeur : Patrick Baillot <>
• Soumis le : Mercredi 2 Juin 2010, 10:56:22
• Dernière modification le : Vendredi 8 Mars 2013, 15:19:09