-
Effect of Na diffusion from glass substrate on the microstructural and photoc...
International audience -
Conception et exploitation d'une base de métadonnées de traitements informati...
L'information géographique est construite, analysée et transformée par des traitements informatiques. À l'Institut Géographique National (IGN), les utilisateurs et les... -
Preuve de confluence de $\lambda_{exn}$
Rapport interne. -
An environment machine for the $\lambda\mu$-calculus
Article dans revue scientifique avec comité de lecture. -
Multimodal Logic for Syntax
Article dans revue scientifique avec comité de lecture. -
POM-nets and minimalism
Colloque avec actes et comité de lecture. -
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Article dans revue scientifique avec comité de lecture.
