A.R. Conn, Nick Gould, et al.
Mathematics of Computation
A theory of program-size complexity for something close to real LISP is sketched. © 1992.
A.R. Conn, Nick Gould, et al.
Mathematics of Computation
Amir Ali Ahmadi, Raphaël M. Jungers, et al.
SICON
Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University