Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - Miculan
On-Campus Access Only (IP based access)