Traduction des Combinatory Reduction Systems en Rho-Calcul - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2002

Traduction des Combinatory Reduction Systems en Rho-Calcul

Résumé

Les "Combinatory Reduction Systems" sont des systèmes de réécriture d'ordre supérieur étendant les systèmes de réécriture du premier ordre par un mécanisme de liaison de variables. D'un autre côté, la réécriture et le lambda-calcul ont été généralisés dans le calcul de réécriture et il est donc naturel de se demander quelle est la relation entre les deux formalismes : les systèmes de réécriture d'ordre supérieur et le rho-calcul. Nous avons analysé cette correspondance et nous présentons une fonction de traduction entre les termes CRS et les termes du rho-calcul. Nous montrons que cette traduction permet d'exprimer les réduction des termes CRS dans le rho-calcul. || The higher order rewrite systems known as Combinatory Reduction systems (CRS), introduced by J.W.Klop, are an extension of first order rewrite systems by a mechanism allowing the binding of variables. On the other side, first order rewriting and lambda c
Fichier principal
Vignette du fichier
A02-R-497.pdf (576.75 Ko) Télécharger le fichier

Dates et versions

inria-00099419 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099419 , version 1

Citer

Clara Bertolissi. Traduction des Combinatory Reduction Systems en Rho-Calcul. [Stage] A02-R-497 || bertolissi02a, 2002, 39 p. ⟨inria-00099419⟩
53 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More