Skip to Main content Skip to Navigation
Theses

Présentations d'opérades et systèmes de réécriture

Abstract : This thesis studies the computational properties of operad presentations, or Penrose diagrams rewrite systems, together with their links with classical types of rewrite systems. With new criteria for termination and confluence, the convergence of the presentation L(Z2) of Z/2Z-vector spaces, a commutative equational theory, is proved. Operad presentations are shown to be generalizations of both word rewrite systems and Petri nets; furthermore, they provide explicit resource management calculi for left-linear term rewrite systems. This work is concluded by the description of obstructions for proving the same result for the lambda-calculus. Two appendices present the links between operads and other structures from universal algebra, together with a calculus of explicit substitutions.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00006863
Contributor : Yves Guiraud <>
Submitted on : Friday, September 10, 2004 - 11:43:19 AM
Last modification on : Thursday, January 11, 2018 - 6:15:40 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:23:13 PM

Identifiers

  • HAL Id : tel-00006863, version 1

Citation

Yves Guiraud. Présentations d'opérades et systèmes de réécriture. Autre [cs.OH]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨tel-00006863⟩

Share

Metrics

Record views

343

Files downloads

824