Karl Crary

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Published with Wowchemy — the free, open source website builder that empowers creators.