@第{zbMATH07720263条，作者={Klev，Ansten}，标题={Spiritus asper vs.lambda：关于函数抽象的本质}，FJournal＝{圣母院形式逻辑期刊}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={64}，数字={2}，页码={205--223}，年份={2023}，语言={英语}，DOI={10.1215/00294527-10670089}，关键词={03A05,00A30,03B40,03B38}，zbMATH=｛7720263｝}