Videos tagged type-theory What type of thing is a type? by Ron Garcia Video 2017-10-11T13:45:37Z All Videos Browse all videos
