Dominik Kirst
Dominik Kirst
Affiliation: INRIA
Pages in this Program
Not choosing is still a choice: Constructive mathematics without any choice
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑