Hiroyuki Miyoshi
@metaphusika@mathstodon.xyz
Joined: 11/15/2022
About Hiroyuki Miyoshi
Research interests: category theory, mathematical logic, theoretical computer science, philosophy of computation.
Lists
{username} has no public lists
Timeline
{username} has no activity yet