Presentation of selected topics corse: A brief introduction to lambda calculus part 2: Recursion and Turing completeness
- Date
- 9 October 2025, 15:15–16:00
- Location
- Ångström Laboratory, 4004
- Type
- Seminar
- Lecturer
- Niclas Bengtsson
- Organiser
- Matematiska institutionen
- Contact person
- Vera Koponen
Niclas Bengtsson, master's student in mathematics, gives this presentation. Welcome!