Lionello A. Lombardi

• LISP as the language for an incremental computer
• Studies on the logic of automatic computation