Now showing items 1-5 of 5
Recursive Functions of Symbolic Expressions and Their Computation by Machine
The attached paper is a description of the LISP system starting with the machine-independent system of recursive functions of symbolic expressions. This seems to be a better point of view for looking at the system than the ...
Recursive Functions of Symbolic Expressions and Their Computation
This memorandum is a continuation of Memo 8.
Explanation of Big "P" as of March 20, 1959
ERROR is a routine to provide a common location for all routines. Its celling sequence is: SXD SERROR,4 TSX SERROR+1,4 The above is normally followed immediately by up to 20 registers of BCD remarks terminated by a word ...
On axiomatic systems in mathematics and theories in physics
(University of Cambridge, 1953-07-25)
On generalized dispersion relations and meson-nucleon scattering
(University of CambridgeFaculty of MathematicsTrinity College, 1957-11-19)