A Canonical calculus of residuals - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1991

A Canonical calculus of residuals

Yves Bertot


We introduce a formal language to describe origin functions, which permits to study the notions of descendance and residuals in reduction systems. Computation on this formal language are defined using a term rewriting system, which we show to be canonical. This work has application in the semantics and debugging


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1542.pdf (654.9 Ko) Télécharger le fichier

Dates and versions

inria-00075020 , version 1 (24-05-2006)


  • HAL Id : inria-00075020 , version 1


Yves Bertot. A Canonical calculus of residuals. [Research Report] RR-1542, INRIA. 1991, pp.12. ⟨inria-00075020⟩
56 View
50 Download


Gmail Facebook Twitter LinkedIn More