机译:Normalization and the Yoneda embedding
DPMMS, University of Cambridge, 16 Mill Lane, Cambridge CB2 1SB, UK;
Department of Computing Science, Chalmers University of Technology, S-412 96 Goteborg, Sweden;
Department of Mathematics, University of Ottawa, 585 King Edward, Ottawa, Ontario K1N 6N5, Canada;