• Computability

  • Types in Python

  • Type safe programming