Preuve de confluence de $\lambda_{exn}$

Rapport Année : 1998

(1) , (1)

Philippe de Groote

Catherine Pilière

N.A.

N.A. N.A

Autre [cs.OH]

https://inria.hal.science/inria-00098334

Soumis le : lundi 25 septembre 2006-15:36:08

Dernière modification le : jeudi 15 février 2024-03:31:15

inria-00098334 , version 1 (25-09-2006)

Philippe de Groote, Catherine Pilière. Preuve de confluence de $\lambda_{exn}$. [Interne] 98-R-298 || de_groote98b, 1998, 19 p. ⟨inria-00098334⟩

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

41 Consultations

0 Téléchargements