It has been argued that linguistic color categories, despite their number can vary between languages, are themselves universal and based on physiologically conditioned distinctions. Recently it has been demonstrated that Russians, whose language has separate terms for light and dark blue, discriminate faster between objects of corresponding hues than Englishmen. In our study we tested if langua...

This study investigates utterance-final pitch accents in declaratives in two contact languages (Catalan and Spanish) as produced by two groups of Catalan–Spanish bilinguals (Catalandominant and Spanish-dominant). It contributes to a growing body of research showing that bilinguals transfer the intonational patterns of their native language to their non-native language, and it provides a socioli...

In this thesis, we introduce a rigorous formally founded method to address the interoperability of a family of domain specific languages (DSLs). Our approach targets DSLs from the same business domain and consists in constructing a unifying language. The unification is obtained by using a categorical approach. For this, we use the category of algebraic specifications of each language in the fam...

Since the early seventies, numerous numerical programs have been developed to simulate biophysical processes. The current challenge facing scientific communities is to access any program using their usual language. Migration is a way of dealing with the challenge. The conventional methodology to build up migration functions is the rule-based method. An alternative consists in using the category...

Gender induction has been claimed to be virtually impossible unless nouns provide reliable semantic or phonological gender-relevant cues. However, learners might exploit syntactic cues, such as definite articles, to infer the gender of gender-unmarked nouns. In children's poems and songs, such syntactic cues are presented in a highly structured fashion. We assessed gender-like category inductio...

This paper is about a categorical approach to model a very simple Semantically Linear λcalculus, namedS λ-calculus. This is a core calculus underlying the programming language S PCF. In particular, in this work, we introduce the notion of S λ-Category, which is able to describe a very large class of sound models of S λ-calculus. S λ-Category extends in the natural way Benton, Bierman, Hyland an...

This paper is about a categorical approach to model a very simple Semantically Linear λcalculus, namedSlλ-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the notion of Slλ-Category, which is able to describe a very large class of sound models of Slλ-calculus. Slλ-Category extends in the natural way Benton, Bierman, Hyland an...

We present a comparative study of certain invariants defined for group actions and their analogues orbifolds. In particular, we prove that Fadell's equivariant category $G$-spaces coincides with the Lusternik-Schnirelmann orbifolds when is finite.