Une 'equivalence sur les lambda termes, Theoretical Computer Sci (1994)

by L Regnier