H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
Doeringさんの講演とmetaphusikaとhasseiの雑談
2663pv 4 3 users