Daniël Otten
Daniël Otten
Affiliation: University of Amsterdam
Pages in this Program
Constructing (Co)inductive Types via Large Sizes
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑