There are 1 Results with the keyword : "lambda calcul"
History of Inria
A graduate of the Ecole Polytechnique and the Ecole des Mines, he completed a PhD in mathematics in 1979. In 1980 he joined Inria, where much of his research work centred around the development of the Esterel language. This language is used to explain the temporal synchronisation of tasks and prove that they are correctly executed.
- Lambda calcul
- Collège de France
- Académie des sciences (French Academy of Sciences)