Conditionals in Distributive Categories
Jeremy Gibbons
Abstract
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.
Details
| Institution |
School of Computing and Mathematical Sciences‚ Oxford Brookes University |
| Month |
jan |
| Number |
CMS−TR−97−01 |
| Year |
1997 |
Links
Related pages
|
People |
|
|
Activities |