Djordje Cubric, Peter Dybjer, Philip J. Scott. Normalization and the Yoneda Embedding. Mathematical Structures in Computer Science, 8(2):153-192, 1998.
@article{CubricDS98,
title = {Normalization and the Yoneda Embedding},
author = {Djordje Cubric and Peter Dybjer and Philip J. Scott},
year = {1998},
researchr = {https://researchr.org/publication/CubricDS98},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {8},
number = {2},
pages = {153-192},
}