杰伊，巴里;何塞·维加拉 \（\lambda\）-可定义性的帐户冲突。 （英语） Zbl 1403.03020号 J.日志。阿尔盖布。方法计划。 87, 1-3 (2017). 摘要：如果\（\lambda\）-terms的相应函数是可定义的，则某些域上的函数是\（\lambda\。然而，通过域的表示将通信参数化。通常有一种表示的自然选择，但当域由（lambda）-术语组成时，它们可以用它们自己或它们的哥德尔数的教会数字来表示。这个选择决定了是否所有可计算函数都是\（\lambda\）可定义的。 引用于2文件 MSC公司： 03B40型 组合逻辑与lambda演算 PDF格式BibTeX公司 XML格式引用 \textit{B.Jay}和\textit{J.Vergara}，J.Log。阿尔盖布。方法计划。87，1--3（2017；Zbl 1403.03020） 全文： 内政部 参考文献： [1] Barendregt，Henk P.，《Lambda Calculus——其语法和语义》，《逻辑和数学基础研究》，第103卷（1984年），北荷兰：北荷兰阿姆斯特丹·Zbl 1267.03034号 [2] Barry，Jay，模式演算，ACM Trans。程序。语言系统。（托普拉斯），26，6，911-937（2004年11月） [3] Barry，Jay，《模式微积分：用函数和结构计算》（2009），Springer·Zbl 1215.68055号 [4] Barry，Jay，LamSF Coq证据库（2016年2月） [5] Barry，Jay，《（λ）SF-微积分中作为数据结构的程序》，电子。理论注释。计算。科学。，325，221-236（2016），第三十二届程序设计语义数学基础会议（MFPS XXXII）·Zbl 1394.68064号 [6] 巴里·杰伊；Given Wilson，Thomas，内部结构的组合描述，J.Symb。日志。，76, 3, 807-826 (2011) ·Zbl 1248.03025号 [7] 巴里·杰伊；Kesner、Delia、First-class patterns、J.Funct。程序。，19, 2, 191-225 (2009) ·Zbl 1163.68315号 [8] Jay，C.B.，《区分数据结构和函数：构造函数微积分和函数类型》，（Abramsky，S.，《类型Lambda微积分和应用：第五届国际会议论文集》，《类型Lambda微算和应用：第一届国际会议文献集》，TLCA 2001，波兰克拉科夫，2001年5月。打字兰姆达微积分及其应用：第五届国际会议，会议记录。Typed Lambda微积分与应用：第五届国际会议，论文集，2001年，TLCA，波兰克拉科夫，2001年5月，《计算机科学讲义》，第2044卷（2001年），施普林格出版社，217-239·Zbl 0981.68027号 [9] Kleene，Stephen C.，（λ）-可定义性和递归性，杜克数学。J.，2340-353（1936年） [10] 史蒂文·克莱恩（Steven C.Kleene），《元数学导论》（Introduction to Metamathics），《数学图书馆》（Bibliotheca Mathematica）（1952年），北荷兰出版公司：北荷兰出版集团阿姆斯特丹（Amsterdam），联合出版商：沃尔特斯·努尔霍夫（Wolters-Noordhoff），第8次修订版，1980年·Zbl 0047.00703号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。