Connecting...

Photo Of Person Typing On Computer Keyboard 735911

Truth about Types by Bartosz Milewski

Photo Of Person Typing On Computer Keyboard 735911
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.