TY - JOUR AU - Lappin, Shalom PY - manuscript TI - First-order, Curry-typed logic for natural language semantics ER -