TitoloWork-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice"
Numero5/2017
Sottomesso daMarino Miculan
Sottomesso il4/9/2017
StatoWork in progress
AutoriMarino Miculan, Florian Rabe
AbstractThis volume contains a selection of papers presented at LFMTP 2017, held in Oxford, September 8th, 2017
File5-2017-miculan.pdf