Taumorrow

The Round as a Formula: Fair, transparent, real-time multiplayer games with the Tau language

This paper is about games in which several parties move at the same time and one step decides the round: a lottery, a pot shared by its players, a bet against a bank, a hand of cards, a move on a board. Such a round is usually a program run by an operator. The method disclosed here makes the round a formula. The round...