| http://www.w3.org/ns/prov#value | - I???ve been looking at various forms of linear lambda calculus, which has been neat and enlightening ??? for example, there is a sense in which all computable functions are differentiable using LLC, which I might blog about soon ??? but unfortunately it does not look very promising as an RTS language.
|
