Workshop on Logical Frameworks and Meta-languages
Paris, France
28 September 1999

Held as part of the Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages.


Proceedings

Special Issue