Searching for authors named "Daniel Briaud" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

λν, a Calculus of Explicit Substitutions which Preserves Strong Normalisation
by Zine-el-abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-degli, Projet Eureca — 1995
…-El-Abidine BENAISSA , Daniel BRIAUD , Pierre LESCANNE , Jocelyne ROUYER-DEGLI N 2477 Janvier 1995 PROGRAMME 2 AE, a…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB