<div dir="ltr">Comments welcome.<div><br></div><div><a href="http://www.dcs.bbk.ac.uk/~rik/gallery/investigating-evaluation-typing-and-deduction/document.pdf">http://www.dcs.bbk.ac.uk/~rik/gallery/investigating-evaluation-typing-and-deduction/document.pdf</a><br></div><div><br></div></div>