On 19 November 2016 at 13:43, Rik Howard <rik@dcs.bbk.ac.uk> wrote:

Comments welcome.

http://www.dcs.bbk.ac.uk/~rik/gallery/investigating-evaluation-typing-and-deduction/document.pdf