On the number of fixed points of a combinator in lambda calculus
暂无分享,去创建一个
[1] P. Odifreddi. Classical recursion theory , 1989 .
[2] Enrico Tronci,et al. About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus , 1991, Inf. Comput..
[3] Enrico Tronci. Equational Programming in Lambda-Calculus via SL-Systems. Part 1 , 1996, Theor. Comput. Sci..
[4] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[5] Hendrik Pieter Barendregt,et al. Constructive Proofs of the Range Property in lambda-Calculus , 1993, Theor. Comput. Sci..