TY  - RPRT
TI  - Probability functions in the context of signed involutive meadows
AU  - Jan A. Bergstra
AU  - Alban Ponse
PY  - 2016
UR  - https://arxiv.org/abs/1307.5173
ID  - 1307.5173
ER  -