Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Elaine Pimentel
◽
Enrico Tassi
Frédéric Blanqui
◽
Giselle Reis
Dale Miller
◽
Ivan Scagnetto
Karl Crary
◽
Marino Miculan
Herman Geuvers
◽
Gopalan Nadathur
Iliano Cervesato
◽
Kaustuv Chaudhuri
Claudio Sacerdoti Coen
◽
Alwen Tiu