5/2017 - Work-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice"
Marino Miculan, Florian Rabe
| Titolo | Work-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice" |
|---|---|
| Numero | 5/2017 |
| Sottomesso da | Marino Miculan |
| Sottomesso il | 4/9/2017 |
| Stato | Work in progress |
| Autori | Marino Miculan, Florian Rabe |
| Abstract | This volume contains a selection of papers presented at LFMTP 2017, held in Oxford, September 8th, 2017 |
| File | 5-2017-Miculan.pdf |