Generalizing substitution (2003)

by Tarmo Uustalu
Venue:Ita