Lappin, Shalom and Fox, C and Pollard, C (2002) First-Order Curry-Typed Logic for Natural Language Semantics.

Lappin, Shalom and Fox, C and Pollard, C (2002) A Higher-Order Fine-Grained Logic for Intensional Semantics.

Lappin, Shalom and Fox, C and Pollard, C (2002) Intensional First-Order Logic with Types.