1. (100%) BCK and BCI logics, condensed detachment and the $2$-property. - Hindley, J. Roger
(application/pdf) - 21-nov-2008

2. (88%) Principal Type-Schemes and Condensed Detachment - Hindley, J. Roger; Meredith, David
- 21-nov-2008

3. (62%) On Adding $(\xi)$ to Weak Equality in Combinatory Logic - Bunder, Martin W.; Hindley, J. Roger; Seldin, Jonathan P.
Because the main difference between combinatory weak equality and $\lambda\beta$-equality is that th ...
- 21-nov-2008