Autumn realizability
Channel: FMF Foundations seminar
Date: 2023-12-07

Autumn Realizability – and introduction to realizability theory

Speaker: Andrej Bauer
December 7, 2023
Seminar for foundations of mathematics and theoretical computer science
Faculty of mathematics and physics, University of Ljubljana