Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.337.0 ◽

2021 ◽

Vol 337 ◽

Author(s):

Elaine Pimentel ◽

Enrico Tassi

Keyword(s):

Theory And Practice ◽

Logical Frameworks

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.274.0 ◽

2018 ◽

Vol 274 ◽

Author(s):

Frédéric Blanqui ◽

Giselle Reis

Keyword(s):

International Workshop ◽

Theory And Practice ◽

Logical Frameworks

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.307.0 ◽

2019 ◽

Vol 307 ◽

pp. 1-2

Author(s):

Dale Miller ◽

Ivan Scagnetto

Keyword(s):

Theory And Practice ◽

Logical Frameworks

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

10.1145/3130261 ◽

2017 ◽

Keyword(s):

Theory And Practice ◽

Logical Frameworks

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14

10.1145/2631172 ◽

2014 ◽

Keyword(s):

International Workshop ◽

Theory And Practice ◽

Logical Frameworks

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

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.34.0 ◽

2010 ◽

Vol 34 ◽

Author(s):

Karl Crary ◽

Marino Miculan

Keyword(s):

International Workshop ◽

Theory And Practice ◽

Logical Frameworks

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

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.71.0 ◽

2011 ◽

Vol 71 ◽

Author(s):

Herman Geuvers ◽

Gopalan Nadathur

Keyword(s):

International Workshop ◽

Theory And Practice ◽

Logical Frameworks ◽

Sixth International Workshop ◽

Sixth International

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.185.0 ◽

2015 ◽

Vol 185 ◽

pp. 1-2

Author(s):

Iliano Cervesato ◽

Kaustuv Chaudhuri

Keyword(s):

International Workshop ◽

Theory And Practice ◽

Logical Frameworks

Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.332.0 ◽

2021 ◽

Vol 332 ◽

Author(s):

Claudio Sacerdoti Coen ◽

Alwen Tiu

Keyword(s):

Theory And Practice ◽

Logical Frameworks

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

10.1145/2966268 ◽

2016 ◽

Keyword(s):

Theory And Practice ◽

Logical Frameworks

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09

10.1145/1577824 ◽

2009 ◽

Cited By ~ 1

Keyword(s):

International Workshop ◽

Theory And Practice ◽

Logical Frameworks