Valency is an inherent property of nominalizations representing higher-order entities, and as such it should be included in their underlying representation. On the basis of this assumption, I postulate that cases of non-overt ...

In this paper we present our current development on a new formalization of nominal sets in Agda. Our first motivation in having another formalization was to understand better nominal sets and to have a playground for ...

This work presents a study on aspects related to Nominalization, based on the theoretical assumptions of Semantics of Enunciation proposed by Guimarães (1995, 2005). Traditionally defined as the process by which one obtains ...