Type Logical Grammar by Glyn V. Morrill