Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

La tesi doctoral és un estudi de l'evolució del paisatge de les closes de l'Alt Empordà entre els anys 1957 i 2001. Dins el marc teòric s'hi explora el concepte de paisatge cultural agrari tradicional, es fa una introducció de les aportacions que fa la geografia històrica a l'estudi de les closes arreu d'Europa i es presenten els fonaments de l'ecologia del paisatge. La recerca es basa en la fotointerpretació de fotografies aèries ampliades i l'aplicació d'índexs espacials propis de l'ecologia del paisatge per a l'anàlisi de l'evolució de l'estructura del paisatge. Es complementa amb la realització d'entrevistes personals als gestors del paisatge per tal de conèixer com han dut a terme la gestió de les closes al llarg del període estudiat. Es combinen ambdós tipus d'informació a través de la tècnica estadística de la regressió logística multinomial per tal de descobrir el funcionament de les interaccions entre aquests àmbits. / The dissertation is a study of the evolution of the hedgerow landscape in the Alt Empordà between years 1957 and 2001. Within the theoretical frame the concept of traditional agrarian cultural landscape is explored, we provide an introduction to the main contributions that geographical history does to the study of hedgerow landscapes in Europe and the foundations of landscape ecology are presented. The research is based on the photointerpretation of enlarged aerial photographs and the calculation of landscape ecology metrics for the analysis of the landscape structure. This is complimented with personal interviews with the managers of the landscape in order to know how they have managed the landscape along the period studied. These two types of information are combined through the statistical tool of multinomial logistic regression to uncover how the interactions between these two areas work.

En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétrique monoïdale close (smc) et une construction explicite de la catégorie smc engendrée, formant ainsi une adjonction entre théories et catégories. On étudie les exemples du lambda-calcul pur linéaire, du lambda-calcul pur standard, puis des bigraphes de Milner. À chaque fois on donne une théorie smc et on compare la catégorie smc engendrée avec la présentation standard. Entre autres, dans les trois cas, on montre une équivalence entre les deux sur les termes clos. / From the work of Trimble et al. and Hughes, we define a notion of symmetric monoidal closed (smc) theory and give an explicit construction of the smc category generated by it. This construction yields a monadic adjunction between smc theories and smc categories. We study in our algebraic framework different models of programming languages: the linear λ-calculus, the pure λ-calculus and Milner's bigraphs. For each model, we give a smc theory and compare the generated smc category with the standard presentation. We show that, in each case, there is an equivalence on closed terms.