@第{zbMATH06864536条，作者={诺曼，达格}，标题={类型{{（（\iota\rightarrow\iota）^n\rightarror\iota\）}}}的序列泛函为所有{{，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={14}，数字={1}，页码={11}，注={Id/No 23}，年份={2018年}，语言={英语}，DOI={10.23638/LMCS-14（1:23）2018}，关键词={03D65.06B35}，zbMATH={6864536}，Zbl={1459.03068}}