09. August 2023

11.08.2023 14:00 Simone Kilian "Cartesian closed categoried and the simply typed Lambda Calculus"

Ulm University 08/09/2023 Ulm University