Intensional properties of polygraphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Autre Publication Année : 2007

Intensional properties of polygraphs

Résumé

We present Albert Burroni's polygraphs as a computational model, showing how these objects can be seen as functional programs. First, we prove that the model is Turing complete. Then, we use a notion of termination proof introduced by the second author to characterize polygraphs that compute in polynomial time and, going further, polynomial time functions.
Fichier principal
Vignette du fichier
termgraph.pdf (114.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00129391 , version 1 (07-02-2007)
inria-00129391 , version 2 (02-03-2007)
inria-00129391 , version 3 (09-11-2007)

Identifiants

  • HAL Id : inria-00129391 , version 1

Citer

Guillaume Bonfante, Yves Guiraud. Intensional properties of polygraphs. 2007. ⟨inria-00129391v1⟩
129 Consultations
232 Téléchargements

Partager

Gmail Facebook X LinkedIn More