Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicada às construções determinísticas, incluindo dois tipos especiais de paralelismo - o espacial, com memória e processos infinitos definidos por estruturas matriciais, que operam sobre dimensões independentes, de forma sincronizada; e o temporal, na versão genérica do modelo, com memória global transfinita e processos distribuídos num conjunto enumerável de máquinas geométricas, sincronizadas no tempo. O modelo contempla interpretação para computações não-determinísticas e prevê a aplicação de operadores exponenciais na interpretação do espaço funcional. A noção mais intuitiva deste trabalho está na definição da relação de coerência, que define o grafo sobre o qual se constrói este domínio semántico. Sobre o conjunto de pontos compatíveis de tais grafos, a coerência estrita interpreta a condição implícita para modelar o paralelismo - a concorrência entre posições de memória. Na construção dual, justificada pela presença da negação involutiva no grafo complementar, a incoerência interpreta a condição para o não-determinismo - o conflito de acesso à memória. Para os demais construtores, o produto sequencial e a soma determinística, consideram-se os endofunctores produto e soma direta da categoria CospLin dos espaços coerentes e funções lineares. A estrutura ordenada deste modelo é formalizada pelo espaço coerente D∞ de todos os processos, construído em níveis a partir do espaço coerente D∞ dos processos elementares, seguindo a metodologia proposta por Scott [SCO 76]. Neste sentido, cada nível da construção está identificado por um subespaço Dn que reconstrói todos os objetos do nível anterior, preservando suas propriedades e relações, além de construir os novos objetos. Compatível com a abordagem algébrica, o relacionamento entre os níveis é expresso por funções lineares denominadas imersões e projeções, interpretanto os construtores de processos e seus destrutores, respectivamente. Pelo procedimento de completação, assegura-se a existência do menor ponto fixo para equações recursivas definidas pela composição infinita destes morfismos. Além disso, as interpretações para processos infinitos, construídos por prefixação, apresentadas em D→∞ comprovam que este modelo é compatível com a diversidade dos construtores. O espa¸co coerente D∞2 dos processos transfinitos generaliza a construção e define a estrutura ordenada do modelo de máquina geométrica distribuída. Seus objetos são subconjuntos coerentes de tokens rotulados por posições do espaço geométrico e indexados por subconjuntos isomorfos aos ordinais transfinitos. O espaço coerente S S dos traços lineares de funções definidas sobre o espaço coerente S dos estados computacionais constitui-se no modelo semântico para análise do comportamento associado a cada processo interpretado em D∞. A definição da função de representação introduz um domínio de expressões que formaliza uma linguagem capaz de expressar, de forma mais operacional, as interpretações obtidas neste modelo de m´aquina. Cada uma das expressões válidas na linguagem é compatível com uma expressão gráfica. / This work presents a theoretical investigation of the constructive, intuitive and ordered structure of the coherence spaces, introduced by Girard, in order to define the geometric machine model for interpretation of computational states and processes labelled by positions of a geometric space. This interpretation can be applied to deterministic process constructions, including two special types of parallelism - the temporal parallelism, with infinite memory and infinite processes defined over array structures, that operate over independent dimensions in a synchronized way; and the spatial parallelism, in a generic version of the model, with a transfinite global memory shared by transfinite processes distributed in a enumerable set of geometric machines, synchronized in the time. The work also provides interpretation to the non-deterministic computations and applies the exponential operators in the interpretation of the functional space. The most basic notion of this work is the definition of the coherence relation as the admissibility of parallelism between basic operations (elementary processes). That relation defines the web over which the coherence space of the whole set of deterministic and non-deterministic processes is step-wise and systematically build. Over the set of the compatible points of such graph, the strict coherence interprets the implicity condition to model parallelism - the true concurrence. In the dual construction, justified by the presence of involutive negation in the complementary graph, the incoherence interprets the condition that models non-determinism - the conflict of memory accesses. The other constructors, the sequential product and the deterministic sum, are defined by the endofunctors in the CospLin category of the coherence spaces and linear functions. The ordered structure of this model is formalized by the coherence space D∞ of all processes, constructed by levels from the coherence space D0 of the elementary processes, following the Scott’s methodology [SCO 76]. In this sense, each level is identified by a subspace Dn, which reconstructs all the objects from the level before, preserving their properties and relations, and drives the construction of the new objects. Compatible with the algebraic-theoretic approach to computational processes, the relationship between the levels is expressed by linear functions called embedding and projection-functions, which interpret constructors and destructors of processes, respectively. The completion procedure guarantees the existence of the least fixed point to the recursive equations, defined by infinite composition of these morphisms. In addition, the interpretation for infinite processes constructed by prefix is presented in D→∞ , confirms that the ordered structure of these model is compatible with the diversity of constructors. The coherence space D∞2 of transfinite processes generalizes the construction and defines the ordered structure of the distributed geometric machine model. Its objects are coherent subsets of tokens labelled by the positions of a geometric space and indexed by isomorphic subsets related to the transfinite ordinal numbers. In order to analyze the behavior related to the interpretations in D∞, the coherence space S S of the linear traces of functions, defined over the coherence space S of the computational states, is introduced. The definition of the representation-function induces the construction of the domain Ω of valid expressions and formalizes a (graphic) language which is able to express, in an more operational way, the interpretations obtained in the geometric machine model.

O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicada às construções determinísticas, incluindo dois tipos especiais de paralelismo - o espacial, com memória e processos infinitos definidos por estruturas matriciais, que operam sobre dimensões independentes, de forma sincronizada; e o temporal, na versão genérica do modelo, com memória global transfinita e processos distribuídos num conjunto enumerável de máquinas geométricas, sincronizadas no tempo. O modelo contempla interpretação para computações não-determinísticas e prevê a aplicação de operadores exponenciais na interpretação do espaço funcional. A noção mais intuitiva deste trabalho está na definição da relação de coerência, que define o grafo sobre o qual se constrói este domínio semántico. Sobre o conjunto de pontos compatíveis de tais grafos, a coerência estrita interpreta a condição implícita para modelar o paralelismo - a concorrência entre posições de memória. Na construção dual, justificada pela presença da negação involutiva no grafo complementar, a incoerência interpreta a condição para o não-determinismo - o conflito de acesso à memória. Para os demais construtores, o produto sequencial e a soma determinística, consideram-se os endofunctores produto e soma direta da categoria CospLin dos espaços coerentes e funções lineares. A estrutura ordenada deste modelo é formalizada pelo espaço coerente D∞ de todos os processos, construído em níveis a partir do espaço coerente D∞ dos processos elementares, seguindo a metodologia proposta por Scott [SCO 76]. Neste sentido, cada nível da construção está identificado por um subespaço Dn que reconstrói todos os objetos do nível anterior, preservando suas propriedades e relações, além de construir os novos objetos. Compatível com a abordagem algébrica, o relacionamento entre os níveis é expresso por funções lineares denominadas imersões e projeções, interpretanto os construtores de processos e seus destrutores, respectivamente. Pelo procedimento de completação, assegura-se a existência do menor ponto fixo para equações recursivas definidas pela composição infinita destes morfismos. Além disso, as interpretações para processos infinitos, construídos por prefixação, apresentadas em D→∞ comprovam que este modelo é compatível com a diversidade dos construtores. O espa¸co coerente D∞2 dos processos transfinitos generaliza a construção e define a estrutura ordenada do modelo de máquina geométrica distribuída. Seus objetos são subconjuntos coerentes de tokens rotulados por posições do espaço geométrico e indexados por subconjuntos isomorfos aos ordinais transfinitos. O espaço coerente S S dos traços lineares de funções definidas sobre o espaço coerente S dos estados computacionais constitui-se no modelo semântico para análise do comportamento associado a cada processo interpretado em D∞. A definição da função de representação introduz um domínio de expressões que formaliza uma linguagem capaz de expressar, de forma mais operacional, as interpretações obtidas neste modelo de m´aquina. Cada uma das expressões válidas na linguagem é compatível com uma expressão gráfica. / This work presents a theoretical investigation of the constructive, intuitive and ordered structure of the coherence spaces, introduced by Girard, in order to define the geometric machine model for interpretation of computational states and processes labelled by positions of a geometric space. This interpretation can be applied to deterministic process constructions, including two special types of parallelism - the temporal parallelism, with infinite memory and infinite processes defined over array structures, that operate over independent dimensions in a synchronized way; and the spatial parallelism, in a generic version of the model, with a transfinite global memory shared by transfinite processes distributed in a enumerable set of geometric machines, synchronized in the time. The work also provides interpretation to the non-deterministic computations and applies the exponential operators in the interpretation of the functional space. The most basic notion of this work is the definition of the coherence relation as the admissibility of parallelism between basic operations (elementary processes). That relation defines the web over which the coherence space of the whole set of deterministic and non-deterministic processes is step-wise and systematically build. Over the set of the compatible points of such graph, the strict coherence interprets the implicity condition to model parallelism - the true concurrence. In the dual construction, justified by the presence of involutive negation in the complementary graph, the incoherence interprets the condition that models non-determinism - the conflict of memory accesses. The other constructors, the sequential product and the deterministic sum, are defined by the endofunctors in the CospLin category of the coherence spaces and linear functions. The ordered structure of this model is formalized by the coherence space D∞ of all processes, constructed by levels from the coherence space D0 of the elementary processes, following the Scott’s methodology [SCO 76]. In this sense, each level is identified by a subspace Dn, which reconstructs all the objects from the level before, preserving their properties and relations, and drives the construction of the new objects. Compatible with the algebraic-theoretic approach to computational processes, the relationship between the levels is expressed by linear functions called embedding and projection-functions, which interpret constructors and destructors of processes, respectively. The completion procedure guarantees the existence of the least fixed point to the recursive equations, defined by infinite composition of these morphisms. In addition, the interpretation for infinite processes constructed by prefix is presented in D→∞ , confirms that the ordered structure of these model is compatible with the diversity of constructors. The coherence space D∞2 of transfinite processes generalizes the construction and defines the ordered structure of the distributed geometric machine model. Its objects are coherent subsets of tokens labelled by the positions of a geometric space and indexed by isomorphic subsets related to the transfinite ordinal numbers. In order to analyze the behavior related to the interpretations in D∞, the coherence space S S of the linear traces of functions, defined over the coherence space S of the computational states, is introduced. The definition of the representation-function induces the construction of the domain Ω of valid expressions and formalizes a (graphic) language which is able to express, in an more operational way, the interpretations obtained in the geometric machine model.

Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

The professionals active in the Swedish health and welfare system have in recent years become less holistic and more specialised in their professions. This has resulted in complications due to the complex nature of some cases they work on. The focus on expertise the individual professional possesses has a tendency to blind them of relevant aspects of the clients case outside their own field of expertise. Due to this there has been a noted tendency of clients” falling between the cracks” and not receiving the help they are entitled to. By performing a directed qualitative content analysis, the authors of this paper aim to investigate aspects of the interprofessional collaboration that either benefit or harm the work they do. To do this the authors of this paper analyse different evaluation reports made by Swedish municipalities and regions on their interprofessional collaborations through what is known as a coordinated individual plan, and compare these reports to previous research and also analyse these results with the aid of Domain theory. In this paper we discover that boundaries set up between professionals both benefit and harm the work that is done in Swedish welfare organisations. We also discover how the Swedish social works professional identity affect their relations with other organisations and professionals.

HOLCF is an interactive theorem proving system that uses the mathematics of domain theory to reason about programs written in functional programming languages. This thesis introduces HOLCF '11, a thoroughly revised and extended version of HOLCF that advances the state of the art in program verification: HOLCF '11 can reason about many program definitions that are beyond the scope of other formal proof tools, while providing a high degree of proof automation. The soundness of the system is ensured by adhering to a definitional approach: New constants and types are defined in terms of previous concepts, without introducing new axioms. Major features of HOLCF '11 include two high-level definition packages: the Fixrec package for defining recursive functions, and the Domain package for defining recursive datatypes. Each of these uses the domain-theoretic concept of least fixed points to translate user-supplied recursive specifications into safe low-level definitions. Together, these tools make it easy for users to translate a wide variety of functional programs into the formalism of HOLCF. Theorems generated by the tools also make it easy for users to reason about their programs, with a very high level of confidence in the soundness of the results. As a case study, we present a fully mechanized verification of a model of concurrency based on powerdomains. The formalization depends on many features unique to HOLCF '11, and is the first verification of such a model in a formal proof tool.

In recent years the failures in the exchange of information between different parts of a highly specialized social services sector has been increasingly criticized. Criticism that has pointed out the dangers of these shortcomings within this highly specialized sector. One main characteristic of specialized social services is that the profession's domain is divided into one or more social service authorities and one or more treatment units. This study aims to show the integrative processes that exist within the specialized social services sector and points out the importance that they have. Further this study will show what factors are influencing these integrative processes. The concept of integrative processes describes in general the interaction between different actors, actors that seek collaboration in order to achieve common goals. The work focuses on integrative processes within a highly specialized social services sector which occur during the initiation and implementation of home-based treatment programs. Programs targeted at children and young people who are no older than 17 years and were carried out by the social services' own treatment resources. The reason for this is the high incidence of integrative processes in this phase of work which therefore enables a comprehensive examination of these interactions. The empirical material in this study is made up partly of documents such as operation plans and semi-standardized research interviews. The analysis of the data is carried out within a theoretical framework consisting of a coupling of the Domain Theory and New Institutionalism Organization Theory. The final discussion points out the factors that reinforce a positive impact on integrative processes and their application in the initiation and evaluation of home-based treatment programs.

Made available in DSpace on 2016-04-26T20:20:50Z (GMT). No. of bitstreams: 1 Fernando Tadeu Marques.pdf: 772111 bytes, checksum: 27fb11d4e2ec8b198a57558b3978c27c (MD5) Previous issue date: 2012-05-15 / The present work has as its object the studying the concourse of people, whereby, it is responsibility of each individual in criminal cases. There will be a foray into the criminal law by checking the evolution of this institute and the theories that over time seek to delimit and define the concepts surrounding the authorship and participation and the criteria for assignment of the respective responsibilities of each agent contributing towards the offense. Ahead is the analysis of the institute in its various angles, from Philippine s ordinations to contemporary documents. After delineating the object of labor it, will be analyzed early theories surrounding the subject, coming finally to domain theory of the fact and the consequences of its adoption, and there is the influence on the analysis of crime and therefore the services of people to questions posed by modern studies involving neutral actions and responsibility for the power structure / O presente trabalho tem como objeto o estudo do concurso de pessoas, por meio do qual, se verifica a responsabilidade de cada indivíduo na esfera penal. Neste ínterim far-se-a uma incursão na legislação penal verificando a evolução do referido instituto e das teorias que ao longo do tempo visam delimitar e definir os conceitos que envolvem a autoria e a participação bem como os critérios para atribuição da respectiva responsabilidade de cada agente que concorre para a prática do delito. Adiante, passa-se a análise do instituto nos seus mais diversos prismas, desde as ordenações filipinas até os documentos penais contemporâneos. Após a delimitação do objeto do trabalho, serão analisadas as primeiras teorias que envolvem o tema, chegando por fim à teoria do domínio do fato e as consequências de sua adoção, bem como se verifica a influência na análise do crime e consequentemente do concurso de pessoas aos questionamentos impostos pelos modernos estudos que envolvem as ações neutras e a responsabilidade por estrutura de poder

<p>This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. The third and fourth paper present the new notion of an admissible domain representation, where a domain representation D of a space X is λ-admissible if, in principle, all other λ-based domain representations E of X can be reduced to X via a continuous function from E to D. </p><p>In Paper I we define a cartesian closed category of effective bifinite domains. We also investigate the method of inducing effectivity onto continuous cpos via projection pairs, resulting in a cartesian closed category of projections of effective bifinite domains. </p><p>In Paper II we introduce the notion of an almost algebraic basis for a continuous cpo, showing that there is a natural cartesian closed category of effective consistently complete continuous cpos with almost algebraic bases. We also generalise the notion of a complete set, used in Paper I to define the bifinite domains, and investigate what closure results that can be obtained. </p><p>In Paper III we consider admissible domain representations of topological spaces. We present a characterisation theorem of exactly when a topological space has a λ-admissible and κ-based domain representation. We also show that there is a natural cartesian closed category of countably based and countably admissible domain representations. </p><p>In Paper IV we consider admissible domain representations of convergence spaces, where a convergence space is a set X together with a convergence relation between nets on X and elements of X. We study in particular the new notion of weak κ-convergence spaces, which roughly means that the convergence relation satisfies a generalisation of the Kuratowski limit space axioms to cardinality κ. We show that the category of weak κ-convergence spaces is cartesian closed. We also show that the category of weak κ-convergence spaces that have a dense, λ-admissible, κ-continuous and α-based consistently complete domain representation is cartesian closed when α ≤ λ ≥ κ. As natural corollaries we obtain corresponding results for the associated category of weak convergence spaces.</p>