| http://www.w3.org/ns/prov#value | - The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML. (shrink)Science, Logic, and Mathematics Direct download (2 more) My bibliography Export citation Friederike Moltmann (2014).
|
