... Manual¹

The Computation Center
and Research Laborotory of Electronics
 
Massachusetts Institute of Technology

... Church.^1.1

A. Church, The Calculi of Lambda-Conversion (Princeton University Press, Princeton, New Jersey, 1941).

... ^1.2

This section is for completeness and may be skipped upon first reading.

... list^2.1

Property lists are discussed in Section VII.

... Algorithm^8.1

Wang, Hao. "Toward Mechanical Mathematics," IBM J. Res. Develop., Vol. 4, No. 1. January 1960.

... OBLIST^A.1

The entire set of objects (atomic symbols) existing in the system can be prints by performing

EVAL (OBLIST NIL).

...[expr;^B.1

The value of get is set aside. This is the meaning of the apparent free or undefined variable.