Generalizing substitution (extended abstract (2002)

by T Uustalu
Venue:Prel. Proc. of 4th Int. Wksh. Fixed Points in Computer Science, FICS'02 (Copenhagen, July 2002), BRICS Notes Series NS-02-2, Dept. of Comput. Sci., Aarhus Univ., 2002