LFM 2000

Workshop on Logical Frameworks and Meta-languages
Sunday, June 25, 2000
Santa Barbara, California

Held as part of the International Conference on Logic in Computer Science (LICS'2000).


Proceedings


JoŽlle Despeyroux, Joelle.Despeyroux@inria.fr.