Introduction to the Theory of Programming Languages

• Basic concepts and mathematical background
• Syntax
• Semantics
• Lambda Calculus and Denotational Semantics
• The mathematics of recursion
• Axiomatic semantics:
  • The notion of theory
  • Typed lambda calculs
  • Axiomatizing programming languages
  • Pre-post semantics of Graal
  • Non-determinism, routines and recursion