Normalization and the Yoneda embedding (1998)

by Peter Dybjer Cubric, Philip Scott
Venue:Mathematical Structures in Computer Science