Back to Search Start Over

Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Authors :
Alwen Tiu
Claudio Sacerdoti Coen
Source :
Electronic Proceedings in Theoretical Computer Science. 332
Publication Year :
2021
Publisher :
Open Publishing Association, 2021.

Subjects

Subjects :
History
Fifteenth
Linguistics

Details

ISSN :
20752180
Volume :
332
Database :
OpenAIRE
Journal :
Electronic Proceedings in Theoretical Computer Science
Accession number :
edsair.doi...........34440c1d9fa0af14edfcb83cce210d6b

Tools

Authors Abstract Subjects Details