7 citations · 34 across the 16 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019★ 1 cited
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
Andrei Alexandru, Gabriel Ciobanu
The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the a…
cs.LO2019★ 6 cited
Probabilities in Session Types
Bogdan Aman, Gabriel Ciobanu
This paper deals with the probabilistic behaviours of distributed systems described by a process calculus considering both probabilistic internal choices and nondeterministic exter…
math.LO2019
Infinities within Finitely Supported Structures
Andrei Alexandru, Gabriel Ciobanu
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic la…