Repr'esentation intentionelle d'algorithmes dans les syst`emes fonctionelles: une 'etude de cas, Th'ese de Doctorat, Universit'e Paris VII (1991)

by L Colson