TY  - THES
DP  - http://www.theses.fr/2007PA077228
TI  - Quantification du second ordre en sémentique des jeux : application aux isomorphismes de types
AU  - Lataillade, Joachim Guilhem de
A3  - Curien, Pierre-Louis
PY  - 2007
SP  - 1 vol. (179 f.)
N1  - Thèse de doctorat Informatique Paris 7 2007
N1  - 2007PA077228
ER  -