- 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.
- School of Computing and Mathematical Sciences‚ Oxford Brookes University
- Publication date:
- Local pid:
- Copyright date: