| |
| 1996 | ||
|---|---|---|
| 2 | Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli: lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation. J. Funct. Program. 6(5): 699-722 (1996) | |
| 1995 | ||
| 1 | Daniel Briaud: An explicit Eta rewrite rule. TLCA 1995: 94-108 | |
| 1 | Zine-El-Abidine Benaissa | [2] |
| 2 | Pierre Lescanne | [2] |
| 3 | Jocelyne Rouyer-Degli | [2] |