Login / Signup
Daniel Briaud
Publication Activity (10 Years)
Years Active: 1995-1996
Publications (10 Years): 0
</>
Publications
</>
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) (1996)
Daniel Briaud
An explicit Eta rewrite rule.
TLCA
(1995)