Focusing on Binding and Computation.

Daniel R. Licata, Noam Zeilberger, Robert Harper

Browse the full LICS paper archive.