It is well known that every normed (even quasibarrelled) space a Mackey space. However, in the more general realm of locally quasi-convex abelian groups an analogous result does not hold. We give first examples spaces which are groups.

In this paper, we consider action-labelled systems with non-deterministic and probabilistic choice. Using the concept of norm functions GV98], we introduce two types of bisimulations that allow for delays when simulating a transition. The so obtained equivalences (called (strict) normed bisimulation equivalence) are strictly between strong and weak bisimulation equivalence a la LS89, SL94, SL95...

Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in category normed positive cones stable measurable cone maps, which can be seen as coordinate-free generalization coherence spaces. However, unlike the case spaces, it remained unclear if could refined to classical linear logic. In this work we consider somewhat similar gives indeed full propositional logic wit...

The key vehicle of the recent development of a topological theory of regular variation based on topological dynamics [BOst-TRI], and embracing its classical univariate counterpart (cf. [BGT]) as well as fragmentary multivariate (mostly Euclidean) theories (eg [MeSh], [Res], [Ya]), are groups with a right-invariant metric carrying flows. Following the vector paradigm, they are best seen as norme...