Remote
vikraman
@vc@mathstodon.xyz
mastodon 4.7.2Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.
92 Followers
153 Following
0 Posts
Joined January 04, 2023
homepage:
No posts yet
This profile has no cached posts yet.