D. Cooperstock

• Alternative axiomatizations of models of the Lambda-calculus