Abstract interpretations in the framework of invariant sets
We present a theory of abstract interpretations in the framework of invariant sets by
translating the notions of lattices and Galois connections into this framework, and presenting …
translating the notions of lattices and Galois connections into this framework, and presenting …
Private names in non-commutative logic
We present an expressive but decidable first-order system (named MAV1) defined by using
the calculus of structures, a generalisation of the sequent calculus. In addition to first-order …
the calculus of structures, a generalisation of the sequent calculus. In addition to first-order …
[PDF][PDF] A nominal approach for fusion calculus
We provide a nominal semantics of the monadic version of the fusion calculus. A set of
compact transition rules is presented in the Fraenkel-Mostowski framework by using a …
compact transition rules is presented in the Fraenkel-Mostowski framework by using a …
[PDF][PDF] Finitely supported subgroups of a nominal group
Nominal sets represent an alternative set theory which allows a more relaxed interpretation
for the notion of finiteness. They offer an elegant formalism for describing λ-terms modulo α …
for the notion of finiteness. They offer an elegant formalism for describing λ-terms modulo α …
Main steps in defining Finitely Supported Mathematics
This paper presents the main steps in defining a Finitely Supported Mathematics by using
sets with atoms. Such a mathematics generalizes the classical Zermelo-Fraenkel …
sets with atoms. Such a mathematics generalizes the classical Zermelo-Fraenkel …
Finitely Supported Mathematics
A Alexandru, G Ciobanu - Springer
We start this chapter by presenting some motivation for using nominal sets and Fraenkel-
Mostowski sets in the experimental sciences. We emphasize the subdivisions of the so …
Mostowski sets in the experimental sciences. We emphasize the subdivisions of the so …