This talk was given by Bartosz Milewski at Lambda Days, he asks what the similarity between fundamental mathematics and programming might mean? As he leads on to Type Theory as a combination of not only the three different branches of mathematics he discusses but all branches of maths.
This talk was given by Bartosz Milewski at Lambda Days.