Normalization and partial evaluation, in (0)

by P Dybjer, A Filinski
Venue:Proc. APPSEM 2000 (2002