theory of computation Computer Science is no more about computers than astronomy is about telescopes. lambda calculus combinator calculus models sets sequences and tuples vectors numeral systems binary hexadecimal computer utilities calc bc