21 Nov
2016
21 Nov
'16
2:24 a.m.
This paper has been withdrawn.
On 19 November 2016 at 13:43, Rik Howard
Comments welcome.
http://www.dcs.bbk.ac.uk/~rik/gallery/investigating-evaluation-typing-and- deduction/document.pdf