| http://www.w3.org/ns/prov#value | - XML, a theory of dependent types augmented with a universe of small types, adequate for capturing many aspects of Standard ML. This type theory was subsequently re ned by Harper, Mitchell, and Moggi =-=[22]-=-, and provides the basis for this work.
|
