Presentation of selected topics corse: A brief introduction to lambda calculus part 1: The syntax of lambda calculus
- Date
- 2 October 2025, 15:15–16:00
- Location
- Ångström Laboratory, 90106
- Type
- Seminar
- Lecturer
- Niclas Bengtsson
- Organiser
- Matematiska institutionen
- Contact person
- Vera Koponen
Niclas Bengtsson gives this presentation. Welcome!