GIF
Few GIFs and few analogies on this talk
Sorry.
abstraction(abtsraction(abstraction)))
Sorry.
Programing
Logic
Types
Propositions
"Hurry up and show me examples of all this formalism"
Type Theory
Logic
Type Theory
λ-calculus
Functional Programming
Mathematical Constructions
https://www.coursera.org/course/maththink
Constructive vs non-constructive
todo add gif
Types of Logic (Type(type(type))
Type Algebras
Questions?
hannelita@gmail.com
@hannelita