@第{zbMATH07096721条，作者={福斯特、扬尼克和斯莫尔卡、格特}，Title={调用值lambda演算作为{Coq}}中的计算模型，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积＝{63}，数字={2}，Pages＝{393-413}，年份={2019}，语言={英语}，DOI={10.1007/s10817-018-9484-2}，关键词={68V20,68N18，68Q04，68Q60}，zbMATH={7096721}，Zbl={1468.68323}}