Thesis Proposal: The logical basis of evaluation order (2007)

by Noam Zeilberger , Peter Lee , Robert Harper , Paul-andré Melliès , Université Paris