I was very nervous, so I probably don't remember everything.

• definition of untyped lambda calculus
• divergence (Omega) and fixpoint combinator Y
• list different evaluation semantics (lazy/eager, big/small step) in PCF
• choose your favourite and write down definition
• connection between big step and small step

• definition of Kleene's fixpoint theorem
  • explain what that means!

• definition of a category
• definition of soundness

• write down your favourite definition of a monad
• example: powerset
• definition of strong monad