@收款{zbMATH06751333，作者={Slama，Franck and Brady，Edwin}，Title={通过类型安全反射自动证明等价}，BookTitle={智能计算机数学。第十届国际会议，CICM 2017，英国爱丁堡，2017年7月17-21日。诉讼}，国际标准图书编号={978-3-319-62074-9；978-3-3169-62075-6}，页码={40--55}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-62075-6_4}，关键词={68T15,68N30}，URL={hdl.handle.net/10023/11247}，zbMATH={6751333}，Zbl={1367.68257}}