Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)

DOI10.1007/978-3-319-72044-9_6zbMath1453.68105arXiv1307.5173OpenAlexW2773574737MaRDI QIDQ5208500

Jan A. Bergstra, Alban Ponse

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.5173

zbMATH Keywords

Bayes' theoremmeadowBayesian reasoning

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Axioms; other general questions in probability (60A05)

Related Items (1)

The wheel of rational numbers as an abstract data type

This page was built for publication: Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)