| http://www.w3.org/ns/prov#value | - For instance, Example 10 on page 11 provides a case in which a functional programming language L is given and an associated category is shown where the objects are the data types of L, the arrows are the computable functions of L (???processes,??? ???procedures,??? and ???programs???), the composition of two programs, f mapping X to Y, and g mapping Y to Z, ???is given by applying g to the output
|
