[TYPES] type theory and Big Data
"Dr. Rod Moten" <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Do you think type theory has a role to play in providing the mathematics needed for Big Data? https://www.simonsfoundation.org/quanta/20131004-the-mathematical-shape-of-things-to-come/