Introduction to type theory

Type theory was introduced as a way of avoiding certain paradoxes and erroneous behaviours of formal systems long before the first computer was constructed. Understanding those fundamental concepts gives better comprehension of type systems of modern, static typed, functional languages. Marcin Kostrzewa will talk about theoretical foundations of type theory and its consequences for contemporary language designs.