Le sujet de cette thèse est l’étude de l’encodage des références et de la concurrence dans la Logique Linéaire. Notre motivation est de montrer que la Logique Linéaire est capable d’encoder des effets de bords, et pourrait ainsi servir comme une cible de compilation pour des langages fonctionnels qui soit à la fois viable, formalisée et largement étudiée. La notion clé développée dans cette thèse est celle de zone de routage. C’est une famille de réseaux de preuve qui correspond à un fragment de la logique linéaire différentielle, et permet d’implémenter différentes primitives de communication. Nous les définissons et étudions leur théorie. Nous illustrons ensuite leur expressivité en traduisant un λ-calcul avec concurrence, références et réplication dans un fragment des réseaux différentiels. Pour ce faire, nous introduisons un langage semblable au λ-calcul concurrent d’Amadio, mais avec des substitutions explicites à la fois pour les variables et pour les références. Nous munissons ce langage d’un système de types et d’effets, et prouvons la normalisation forte des termes bien typés avec une technique qui combine la réductibilité et une nouvelle technique interactive. Ce langage nous permet de prouver un théorème de simulation, et un théorème d’adéquation pour la traduction proposée. / The topic of this thesis is the study of the encoding of references andconcurrency in Linear Logic. Our perspective is to demonstrate the capabilityof Linear Logic to encode side-effects to make it a viable, formalized and wellstudied compilation target for functional languages in the future. The keynotion we develop is that of routing areas: a family of proof nets whichcorrespond to a fragment of differential linear logic and which implementscommunication primitives. We develop routing areas as a parametrizable deviceand study their theory. We then illustrate their expressivity by translating aconcurrent λ-calculus featuring concurrency, references and replication to afragment of differential nets. To this purpose, we introduce a language akin toAmadio’s concurrent λ-calculus, but with explicit substitutions for bothvariables and references. We endow this language with a type and effect systemand we prove termination of well-typed terms by a mix of reducibility and anew interactive technique. This intermediate language allows us to prove asimulation and an adequacy theorem for the translation

L’effet des émotions sur la mémoire (EEM) est un effet largement documenté dans la littérature, en ce qui concerne les participants sains jeunes et âgés. Cette mise en évidence de meilleures performances mnésiques à partir de stimuli émotionnels par rapport à des stimuli neutres semblerait reposer sur l’existence de relations étroites entre les régions cérébrales primordiales dans les processus mnésiques et émotionnels ; soit respectivement l’hippocampe et l’amygdale. Ces deux structures étant parmi les premières touchées au cours de la maladie d’Alzheimer (MA), leur altération pourrait sous-tendre la défaillance de l’EEM chez ces patients. Toutefois, les résultats des études ayant exploré l’EEM chez les patients MA sont assez contradictoires. Cette divergence entre les résultats concernerait notamment les études ayant exploré l’EEM avec des intervalles courts entre l’encodage et la récupération. L’objectif de cette thèse est ainsi d’étudier les facteurs susceptibles d’être responsables de ces résultats hétérogènes. L’analyse de la littérature a suggéré que l’un de ces facteurs pourrait être lié aux conditions très variables d’encodage utilisées dans différentes recherches. Ainsi, notre première étude comportementale a apporté des arguments robustes quant à la dépendance de l’EEM, et en particulier de l’effet de positivité en mémoire, de l’intentionnalité et de la quantité de ressources cognitives allouées à l’encodage ; mais ceci chez les participants âgés sains seulement. En effet, dans cette première étude, l’EEM n’a pas être observé dans le groupe de patients MA étudié. L’analyse détaillée de ces résultats a soulevé diverses interrogations, chacune d’entre elles faisant l’objet d’une nouvelle étude expérimentale. Ainsi, dans les études suivantes, l’influence de quatre facteurs pouvant influer sur l’EEM dans la MA fut au centre de nos recherches; soit respectivement le degré d’atrophie des régions médio-temporales, la profondeur du traitement, la disponibilité des ressources attentionnelles pendant l’encodage, et la familiarité ressentie envers les stimuli. L’ensemble des résultats de ces quatre dernières études convergerait vers l’idée que l’EEM, et notamment l’effet de positivité en mémoire, serait préservé chez les patients MA quand certaines conditions sont remplies. Ainsi, cet effet semble relativement préservé chez les patients MA ne présentant pas de degrés d’atrophie des régions amygdaliennes et hippocampiques trop importants. Par ailleurs, comme chez les participants âgés sains, l’effet de positivité en mémoire semblerait se manifester chez les patients MA en dehors et au-delà du sentiment de familiarité ressenti envers les stimuli positifs, notamment lors de l’utilisation de tâches d’encodage permettant le traitement profond des stimuli, et lors de tâches de mémoire de travail simples. De même, les stimuli émotionnels négatifs très intenses sembleraient moduler les stratégies de réponse employées par les patients MA dans les tâches de reconnaissance, mais aussi les performances mnésiques de ces patients dans des tâches de mémoire de travail. / The emotional enhancement of memory (EEM) – better memory performances for emotional stimuli than for neutral ones – was frequently described in healthy young and older participants. The EEM seems to rely on the relationship between the amygdala and the hippocampus, the central cerebral structures responsible for the emotional and memory processes, respectively. These two cerebral structures are among the first to be affected in Alzheimer’s disease (AD), which might suggest the alteration of the EEM in these patients. Nevertheless, the results of the studies investigating the EEM in these patients are rather debatable. This discrepancy concerns especially the studies investigating the EEM by using short intervals between encoding and retrieval.Thus, the main goal of this doctoral work was to study the factors susceptible to be responsible of these contradictory results. The analysis of the literature suggested that one of these factors might be related to the extremely variable encoding conditions used among different studies. We explored the influence of this factor in our first behavioral study, which provided strong evidence that the EEM, and especially the positivity memory bias, relies on the intention to encode and on the quantity of cognitive resources allocated at encoding only in healthy older participants. Indeed, the EEM was not observed in AD patients participating in our first study. The detailed analysis of these results raised several hypotheses concerning the factors that might be responsible for the absence of the EEM in the AD patients participating in the first study. Each of these hypotheses was tested in a new experimental study. Thus, in the following studies we explored the influence of four factors on the EEM in AD, namely: the degree of atrophy of medial temporal regions, the depth of encoding, the availability of attention resources during encoding, and the sense of familiarity towards emotional stimuli. The results of these four studies seem to converge on the idea that the EEM, especially the positivity memory bias, is preserved in AD when certain conditions are reunited. Thus, the EEM seems to be intact in AD patients in which the degrees of atrophy of the amygdala and of the hippocampus are not too large. Moreover, just like in healthy older participants, the positivity memory bias seems to manifest itself in AD patients beyond and above the feeling of familiarity towards positive stimuli, especially in situations permitting the deep and rich encoding of information and in working memory tasks that are not too difficult. Similarly, the highly arousing negative stimuli seem to modulate the response strategies used by AD patients and healthy older participants in recognition tasks, but also the performance of AD patients in working memory tasks.