Explores the implementation of custom operators in a programming language, including syntax examples, precedence levels, parsing stages, and solutions like function overloading.

Introduction to Types and Inductive Relations

Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.

Programming Paradigms: Functional, OOP, Polymorphism

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Object-Oriented Programming in C++

Covers constructors in C++, attribute initialization, syntax, and automatic invocation during object declaration.

Monodromy: Action and Classes

Covers the concept of monodromy action in the context of coverings and explores transitivity and unique classes.