http://www.w3.org/ns/prov#value | - That is, the reason we use types is in order to prove something - to make sure our programs do not get stuck (or, even more strongly to make sure that our programs denote things), and 5 + (if true then 9 else false) is an actual, if unusual, way of denoting 14.
|