Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In a distributive category (a category in which the product distributes over the coproduct), coproducts can be used to model conditional expressions. We develop such a theory of conditionals.