Concepedia

Daniel Briaud

DB

1

Publications

95

Citations

1

H-Index

1996

Active since

Affiliations

Centre de Recherche en Informatique(Current)

Daniel Briaud is an author at Centre de Recherche en Informatique specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFunctional AnalysisMathematical Foundations

Publications per year

1996–1996

1

Publications

1

λν, a calculus of explicit substitutions which preserves strong normalisation

Zine-el-Abidine Benaissa, Daniel Briaud, Pierre Lescanne et al. · Journal of Functional Programming · 1996 · 95 citations · Full text

Engineering, Generalized Function, Automated Reasoning +10

Rows per page

1–1 of 1