Daniel Briaud

According to our database, Daniel Briaud authored at least 3 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

Substitutions explicites et unification d'ordre supérieur.

Daniel Briaud

PhD thesis, 1997

1996

lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation.

Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli

J. Funct. Program., 1996

1995

An explicit Eta rewrite rule.

Daniel Briaud

Proceedings of the Typed Lambda Calculi and Applications, 1995