Contributions # l'#tude des -calculs avec des substitutions explicites. Th#se de Doctorat d'Universit (1993)

by A Ros
Venue:BP 101, 54600 VILLERS LE S NANCY Unite de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite de recherche INRIA Rhone-Alpes, 46 avenue Felix Viallet, 38031 GRENOBLE Cedex 1 Unite de recherche INRIA Rocquencourt, Doma