TY  - THES
DP  - 
		http://www.theses.fr/2005PA077052
TI  - Analyse statique typée des propriétés structurelles des programmes
AU  - Alberti, Francisco
A3  - Curien, Pierre-Louis
PY  - 2005
SP  - 1 vol. (XVI-169 p.)
N1  - Thèse de doctorat Programmation. Sémantique, preuves et langages Paris 7 2005
N1  - 2005PA077052
ER  -