TY  - THES
DP  - http://www.theses.fr/2004PA112014
TI  - Modules in type theory with generative definitions
AU  - Chrzaszcz, Jacek
A3  - Jouannaud, Jean-Pierre; Urzyczyn, Pawel
PY  - 2004
SP  - 207 p. ou f.
N1  - Thèse de doctorat Informatique Paris 11 2004
N1  - Thèse de doctorat Informatique Uniwersytet Warszawski 2004
N1  - 2004PA112014
ER  -