arXiv:1201.1161v1 [math.GN] 5 Jan 2012 Page 1 arXiv:1201.1161v1 [math.GN] 5 Jan 2012
PROBABILISTIC METRIC SPACES AS ENRICHED CATEGORIES DIRK HOFMANN AND …

Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories,
have been widely applied in denotational semantics as a way to measure to which extent …

We explore the possibility of extending Mardare et al. quantitative algebras to the structures
which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we …

Program semantics is traditionally concerned with program equivalence. However, in fields
like approximate, incremental and probabilistic computation, it is often useful to describe to …

Behavioural distances measure the deviation between states in quantitative systems, such
as probabilistic or weighted systems. There is growing interest in generic approaches to …

The rise and fall of V-functors - ScienceDirect Skip to main contentSkip to article Elsevier
logo Journals & Books Search RegisterSign in View PDF Download full issue Search …

For any small quantaloid $\Q $, there is a new quantaloid $\D (\Q) $ of diagonals in $\Q $. If
$\Q $ is divisible then so is $\D (\Q) $(and vice versa), and then it is particularly interesting to …

The main source of inspiration for the present paper is the work of R. Rosebrugh and RJ
Wood on constructive complete distributive lattices where the authors employ elegantly the …

We prove decidability for contextual equivalence of the Auvcalculus, that is the simply-typed
call-by-value λµ-calculus equipped with booleans and fresh name creation, with contexts …

This thesis consists of one introductory chapter and four single-authored papers written
during my PhD studies, with minor adaptations. The original contributions of the papers are …