About vikraman
Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.
{username} has no public lists
{username} has no activity yet