论文信息 - Some remarks about the connections between Combinatory Logic and axiomatic recursion theory - 字舞流文

Some remarks about the connections between Combinatory Logic and axiomatic recursion theory

Roger Hindley | Gerd Mitschke

[1] H. R. Strong. Algebraically generalized recursive function theory , 1968 .

[2] Eric G. Wagner. Uniformly reflexive structures: On the nature of gödelizations and relative computability , 1969 .