Normalization and the Yoneda embedding (1998)

by D Cubric, P Dybjer, P J Scott
Venue:Math. Struct. Comput. Sci