-
Realizability and parametricity in Pure Type Systems
This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to... -
On the Eulerian Large Eddy Simulation of disperse phase flows: an asymptotic ...
International audience -
A symbolic approach for the verification and the test of service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several...
