Lambda-calculus models of programming languages.
作者： James Hiram Morris
DOI:
关键词:
摘要: Massachusetts Institute of Technology, Alfred P. Sloan School Management. Thesis. 1969. Ph.D.
参考文章(3)
Arthur Koestler, The Ghost in the Machine ,(1967)
Barkley Rosser, The calculi of lambda-conversion ,(1941)
Solomon Feferman, Hartley Rogers, Theory of Recursive Functions and Effective Computability. American Mathematical Monthly. ,vol. 76, pp. 715- ,(1969) , 10.2307/2316720