Logical Frameworks and Meta-Languages: Theory and Practice
Affiliated with
FSCD 2023
July 2, 2023
Rome, Italy
Home
About LFMTP
Call for Papers
Invited speakers
Program
LFMTP Prorgram
TBA