Djordje Cubric Peter Dybjer Philip J. Scott Normalization and the Yoneda Embedding. 153-192 1998 8 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs8.html#CubricDS98