@收款{zbMATH06946993，作者={Lochbihler，Andreas和Schneider，Joshua}，标题={模块（co）数据类型的关系参数和商保持}，BookTitle={交互式定理证明。第九届国际会议，ITP 2018，作为联邦逻辑会议的一部分，FloC 2018，英国牛津，2018年7月9日至12日举行。诉讼}，国际标准图书编号={978-3-319-94820-1；978-3-3169-94821-8}，页码={411--431}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-94821-8_24}，关键词={68Q65,68V20}，zbMATH={6946993}，Zbl={1511.68174}}