Une équivalence sur les lambda-termes (1994)

by L Regnier
Venue:Theor. Comput. Sci