-
Innocent strategies as presheaves and interactive equivalences for CCS (expan...
53 pages. Expanded version of ICE '11 paper DOI 10.4204/EPTCS.59.2 . -
A simple presentation of the effective topos
We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof... -
Contribution to the study of second order turbulence models
This work is devoted to one-point turbulence modelling<br /> for incompressible turbulent flows.<br /><br /><br /> The behaviour of classical...
