![](/img/cover-not-exists.png)
Preface – Special Issue on Logical Frameworks and Meta-Languages 2015
CERVESATO, ILIANO, CHAUDHURI, KAUSTUVVolume:
28
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129518000233
Date:
October, 2018
File:
PDF, 43 KB
2018