TY  - THES
DP  - 
		http://www.theses.fr/2009TOU30305
TI  - Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants
AU  - Marie-Magdeleine, Lionel
A3  - Soloviev, Sergei
PY  - 2009
SP  - 1 vol. (235 p.)
N1  - Thèse de doctorat Informatique Toulouse 3 2009
N1  - 2009TOU30305
ER  -