Chris Fox Maribel Fernández Shalom Lappin Lambda Calculus, Type Theory, and Natural Language II. 203 2008 18 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exm090 db/journals/logcom/logcom18.html#FoxFL08