The probability of non-confluent systems

Abstract

We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example Lambda+, a recently introduced calculus defined through type isomorphisms.

arXiv commentIn Proceedings DCM 2013, arXiv:1403.7685

References in corpus (6)

• The Vectorial $\lambda$-Calculus
• Linearity in the non-deterministic call-by-value setting
• Call-by-value non-determinism in a linear logic type discipline
• Pure Type Systems without Explicit Contexts
• A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
• Non determinism through type isomorphism

Cited by in corpus (2)

• The Vectorial $\lambda$-Calculus
• Functional Pearl: The Distributive $\lambda$-Calculus