@第{zbMATH06379093条，作者={Orchard，Dominic}，标题={书评：{J}。van{Eijck}和{C}。{Unger}，{计算}语义与函数编程}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={24}，数字={4}，页码={524--527}，年份={2014}，语言={英语}，DOI={10.1017/S095679681400057}，关键词={00A17,68-02,68T50,03B65,68N18,91F20}，zbMATH={6379093}，Zbl={1305.00056}}