Charles de Haro
About
/
Resume
/
Teaching
L3 ENS - Semantics and application to verification
Practical sessions
TP 1 - Denotational semantics