| http://www.w3.org/ns/prov#value | - (A ?????? (B ?????? C)) ?????? ((A ?????? B) ?????? (A ?????? C)), (...) respectively.1 I will extend that result to the case in which the types are built up by means of the general function type ???x : A.B(x) as well as the disjoint union type ???x : A.B(x)??? essentially to the theory of [Howard, 1980].
|
