Iman Poernomo. A Type Theoretic Framework for Formal Metamodelling. In Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski, editors, Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Volume 3938 of Lecture Notes in Computer Science, pages 262-298, Springer, 2004. [doi]
Abstract is missing.