LISP - notes on its past and future
暂无分享,去创建一个
[1] John McCarthy,et al. Computer programs for checking mathematical proofs , 1962 .
[2] John McCarthy,et al. A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).
[3] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[4] David A. Moon,et al. The Lisp Machine manual , 1981, SGAR.
[5] Robert Cartwright,et al. A Practical Formal Semantic Definition and Verification System for TYPED LISP , 1976, Outstanding Dissertations in the Computer Sciences.
[6] Robert Cartwright,et al. Recursive programs as functions in a first order theory , 1978, Mathematical Studies of Information Processing.
[7] John McCarthy,et al. History of LISP , 1978, SIGP.
[8] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[9] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.