Linear logic by levels and bounded time complexity

Patrick Baillot; Damiano Mazza

doi:10.1016/j.tcs.2009.09.015

Article Dans Une Revue Theoretical Computer Science Année : 2010

Linear logic by levels and bounded time complexity

(1) , (2)

1
2

Patrick Baillot

Fonction : Auteur
PersonId : 740829
IdHAL : patrick-baillot
IdRef : 132778343

Laboratoire de l'Informatique du Parallélisme

Damiano Mazza

Fonction : Auteur
PersonId : 180417
IdHAL : damiano-mazza
ORCID : 0000-0002-5307-7744
IdRef : 115658599

Laboratoire d'Informatique de Paris-Nord

Mots clés

implicit computational complexity light linear logics type systems for polynomial time

Domaines

Logique en informatique [cs.LO] Complexité [cs.CC]

Patrick Baillot : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00488531

Soumis le : mercredi 2 juin 2010-10:56:22

Dernière modification le : jeudi 11 mai 2023-11:56:10

Dates et versions

hal-00488531 , version 1 (02-06-2010)

Identifiants

HAL Id : hal-00488531 , version 1
ARXIV : 0801.1253
DOI : 10.1016/j.tcs.2009.09.015

Citer

Patrick Baillot, Damiano Mazza. Linear logic by levels and bounded time complexity. Theoretical Computer Science, 2010, 411 (2), pp. 470--503. ⟨10.1016/j.tcs.2009.09.015⟩. ⟨hal-00488531⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UNIV-PARIS13 CNRS INRIA UNIV-LYON1 LIP LIP_PLUME LIPN GALILE UDL SORBONNE-PARIS-NORD ANR

80 Consultations

0 Téléchargements

Linear logic by levels and bounded time complexity

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager