Tony Clark, Laurence Tratt. Formalizing homogeneous language embeddings. In Jurgen J. Vinju, Torbjörn Ekman, editors, Proceedings of The Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009). Volume 253 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]