Calcul syntaxique des modèles et calcul des formules internes
Carrés exacts et carrés déductifs
Categorical domain theory: Scott topology, powercategories, coherent categories.
Category-theoretic models of linear Abadi & Plotkin logic.
Coalgebras for binary methods : properties of bisimulations and invariants
Coalgebras for endofunctors can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework, namely the use of extended polynomial functors . This extension allows the incorporation of binary methods into coalgebraic class specifications. The paper also discusses how to define bisimulation and invariants for coalgebras of extended polynomial functors and proves many standard...
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants
Coalgebras for endofunctors can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework, namely the use of extended polynomial functors. This extension allows the incorporation of binary methods into coalgebraic class specifications. The paper also discusses how to define bisimulation and invariants for coalgebras of extended polynomial functors and proves many...
Coherence for pseudodistributive laws revisited.
Coherence of the double involution on -autonomous categories.
Compactness and Löwenheim-Skolem properties in categories of pre-institutions
The abstract model-theoretic concepts of compactness and Löwenheim-Skolem properties are investigated in the "softer" framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations...
Complétion et complétude selon H. Andreka et I. Nemeti
Construction of an homology and a cohomology theory associated to a first order formula
Copower objects and their applications to finiteness in topoi.
Counting measure for Kuratowski finite parts and decidability