1

Alligator Eggs and Lambda Calculus (2007)