Richard Statman

• Lambda Calculus with Types