Focusing on binding and computation (2008)

by Daniel R Licata, Noam Zeilberger, Robert Harper
Venue:In LICS