Aspects th'eoriques et praticques de l'inf'erence de type et d'effets. PhD thesis, L'Ecole nationale sup'erieure des mines de (1993)

by Jean-Pierre Talpin
Venue:Thesis in English). K = x y ! x REFERENCES 11