LFMTP@LICS

Keyphrases

Publications

2019

volume 307, 2019

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. LFMTP@LICS 307 (2019)

volume 228, 2009

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008 LFMTP@LICS 228 (2009)