アロンゾ・チャーチ
The development of A++ is based on the 'Lambda Calculus' by Alonzo Church and is influenced by Guy L. Steele's Programming Language Scheme.