@文章{zbMATH06913650，作者={Chen，Sheng and Erwig，Martin}，标题={类型错误的系统识别和通信}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN＝{0956-7968}，体积={28}，页码={48}，注={Id/No e2}，年份={2018年}，语言={英语}，DOI={10.1017/S09567968170002X}，关键词={68N18,68N20}，zbMATH={6913650}，Zbl={1476.68050}}