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

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	And, we will show you how dependent types can become a crucial tool for constructing the termination argument of a function, and how Coq allows us to step outside of
http://www.w3.org/ns/prov#wasQuotedFrom	harvard.edu