Hiroyuki Miyoshi

@metaphusika.bsky.social

85 Followers · 42 Following

Research interests: mathematics (category theory, mathematical logic, etc.), theoretical computer science, philosophy of computation.

Nothing here yet.