Semantic types for natural language an inaugural lecture delivered on 6 February 1997 - Lappin, Shalom (Univ. of London, School of Oriental and African Studies, 1998)