Valeria de Paiva is a Principal Research Scientist at Nuance Communications, CA, USA. Research interests include category theory, type theories, semantics of NL and lexical semantics