@第{zbMATH07775446条，作者={Hu，Jason Z.S.和Jang，Junyoung和Pientka，Brigitte}，标题={模态相关型理论的求值归一化}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={33}，页码={51}，注={Id/编号e7}，年份={2023}，语言={英语}，DOI={10.1017/S0956796823000060}，关键词={68N18}，zbMATH={7775446}}