@收款{zbMATH07298749，作者={Bickford，Mark and Cohen，Liron and Constable，Robert L.and Rahli，Vincent}，标题={可计算性超出{教堂}-{图灵}通过选择序列}，BookTitle={2018年第33届ACM/IEEE计算机科学逻辑年会论文集，2018年7月9日至12日，英国牛津，国际标准图书编号={978-1-4503-5583-4}，页码={245--254}，年份={2018年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3209108.3209200}，关键词={03F50,03B35,03B38,03D30,68V15}，URL={pure-oai.bham.ac.uk/ws/files/71146432/Computability_Beyond.pdf}，zbMATH={7298749}，Zbl={1452.03133}}