lambda calculus (a mathematical system consisting only of functions and variables) =Used repeatedly in COMP 311 lectures
Pages: