Daniel Briaud
According to our database1,
Daniel Briaud
authored at least 3 papers
between 1995 and 1997.
Collaborative distances:
Collaborative distances:
Timeline
1995
1996
1997
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1997
1996
lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation.
J. Funct. Program., 1996
1995
Proceedings of the Typed Lambda Calculi and Applications, 1995