Notes on Type Theory for absolute beginners

One important subject we analyse in languages is its type system. Having a general overview of a type system provides information about the language structure, possible optimisations and may help us to understand how statements are evaluated. Those are topics that we shall consider for when creating a new project. This talk will provide a gentle introduction to type theory, explaining step by step how we transform source code into logical statements.

Topics we will cover:

• Why Type Theory?
• Quick introduction to logic
• Where are those concepts used?
• An analysis of Java Type System