About Hiroyuki Miyoshi

Research interests: category theory, mathematical logic, theoretical computer science, philosophy of computation.

Lists

Timeline

metaphusika has no activity yet