René MacKinney-Romero

Inducing rules in a higher-order framework.
. University of Bristol, UK, (2000)British Library, EThOS.