Erik Hinton on The Derivative of a Regular Type is its Type of One-Hole Contexts (2014)

https://www.youtube.com/watch?v=K7tQsKxC2I8

#PapersSoftware #ComputerScienceFieldOfStudy #papers_we_love