Martin Emms: Models for Polymorphic Lambek Calculus. LACL 1996: 168-187