Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009

James Cheney (Editor), Amy P. Felty (Editor)

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009'. Together they form a unique fingerprint.

Engineering & Materials Science