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