第13届逻辑框架与元语言：理论与实践国际研讨会会议论文集
计算机科学中的逻辑
2018-07-05 v1 编程语言
摘要
本卷收录了在2018年7月7日于英国牛津举行的第13届逻辑框架与元语言：理论与实践国际研讨会（LFMTP 2018）上宣读的部分论文。该研讨会附属于在第7届联合逻辑会议（FLoC）期间举办的第3届计算与演绎形式结构国际会议（FSCD）。
引用
@article{arxiv.1807.01352,
title = {Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice},
author = {Frédéric Blanqui and Giselle Reis},
journal= {arXiv preprint arXiv:1807.01352},
year = {2018}
}