Normalization and the yoneda embedding (1997)

by D Cubric, P Dybier, P Scott
Venue:Mathematical structures in computer science