@article{NormalizationAndTheYonedaEmbedding, title={Normalization and the Yoneda embedding}, volume={8}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/S0960129597002508}, DOI={10.1017/s0960129597002508}, number={2}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={ČUBRIĆ, DJORDJE and DYBJER, PETER and SCOTT, PHILIP}, year={1998}, month=apr, pages={153–192} }