Résolution d’équations dans les langages d’ordre 1 (1975)

by Gérard Huet
Venue:Université Paris