About: http://webisa.webdatacommons.org/343104434

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	An open problem is whether there is an algorithm to infer sorts in the ??-calculus in the same way that types can be inferred in functional programming.
http://www.w3.org/ns/prov#wasQuotedFrom	gla.ac.uk