Maaike Zwart I am a mathematician studying the foundations of computer science. My areas of research are category theory and type theory.
確定! 回上一頁