Sémantique du parallélisme et du choix du langage Electre
Sober spaces and continuations.
Some fundamental notions of large variable systems
Some geometric perspectives in concurrency theory.
Stable meet semilattice fibrations and free restriction categories.
Strong functors and interleaving fixpoints in game semantics
We describe a sequent calculus μLJ with primitives for inductive and coinductive datatypes and equip it with reduction rules allowing a sound translation of Gödel’s system T. We introduce the notion of a μ-closed category, relying on a uniform interpretation of open μLJ formulas as strong functors. We show that any μ-closed category is a sound model for μLJ. We then turn to the construction of a concrete μ-closed category based on Hyland-Ong game semantics. The model relies on three main ingredients:...
Substitution up to isomorphism
Tensor product of partially-additive monoids.
Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
The Diamond Tool: a way of effective development and utilization of knowledge
This paper presents the Diamond Tool for knowledge management. The main objective of its specification and implementation was to create a universal and easily extendable tool for efficient work with knowledge. One of its extensions is the eTrium technology. The principal idea behind this technology is to represent explicitly the knowledge used by the information system by means of a knowledge agent built on the Diamond Tool – in contrary to current approaches, where knowledge is present implicitly...
The topology of continuous partially-additive monoids
Top-down mathematical semantics and symbolic execution
Toward a semantics for the QUEST language
Towards a logic of semiotic systems
The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category theory.
Towards a sketch based model of self-interpreters
Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
О гомоморфизме некоторых отображений, возникающих при изучении решеток процессов в графах
Решетки процессов в графах