A working category theorist, working on foundations of mathematics, logic and theoretical computer science.

ID: 1289654645833572354

calendar_today01-08-2020 20:10:22