Normalization and the Yoneda embedding (1998)

by D Čubrić, P Dybjer, P Scott
Venue:Mathematical Structures in Computer Science 8