Videos tagged datatypes Erik Hinton on The Derivative of a Regular Type is its Type of One-Hole Contexts Video 2014-09-14T08:01:57Z All Videos Browse all videos
