Elementary Complexity and Geometry of Interaction.

Patrick Baillot; Marco Pedicini

Article Dans Une Revue Fundamenta Informaticae Année : 2001

Elementary Complexity and Geometry of Interaction.

(1) , (2)

1
2

Patrick Baillot

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

Laboratory for the Foundations of Computer Science [Edinburgh]

Marco Pedicini

Fonction : Auteur
PersonId : 756707
ORCID : 0000-0002-9016-074X

Istituto per le Applicazioni del Calcolo "Mauro Picone"

Mots clés

Linear logic geometry of interaction proof-nets elementary complexity elementary linear logic

Domaines

Logique en informatique [cs.LO]

Patrick Baillot : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00084627

Soumis le : samedi 8 juillet 2006-17:25:37

Dernière modification le : jeudi 7 mars 2024-12:32:05

Dates et versions

hal-00084627 , version 1 (08-07-2006)

Identifiants

HAL Id : hal-00084627 , version 1

Citer

Patrick Baillot, Marco Pedicini. Elementary Complexity and Geometry of Interaction.. Fundamenta Informaticae, 2001, 45(1-2), pp.1-31. ⟨hal-00084627⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

15 Consultations

0 Téléchargements

Elementary Complexity and Geometry of Interaction.

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Partager