Charles de Haro
About
/
Resume
/
Teaching
Semantics and application to verification
TP 1 - Denotational semantics
TP 2 - Types