Lecture notes » Turing Machines & Lambda Calculus & Process Algebras (« decidability, tractability, recursion, bisimilarity, Petri nets, event structures ») (26/01/2026).