Towards a Constraint Parser for Categorial Type Logics

Marco Kuhlmann. Towards a Constraint Parser for Categorial Type Logics. Master’s thesis, University of Edinburgh, Edinburgh, UK, 2002.

Links