Résumé
We propose a computational formalization of some forms of polysemy. Here we focus on the resultative/processual polysemy of deverbal nouns like assinatura ("signing/signature") or abertura ("opening/aperture") in Por- tuguese -- we also study similar constructs in French, Italian, and English. We follow the Montagovian Generative Lexicon (MGL) introduced in Bassac, Mery & Retor ́e (2010) based on second-order Girard's F system with several entity types -- including at least one type t for propositions and several entity types, as v (event), s (state) φ (physical object). Our for- malization produces the readings involving one aspect of the polysemous noun, and it also handles properly co-predication phenomena.