About vikraman

Chancellor's Fellow (Lecturer) in MSP Strathclyde. I like category theory, type theory, logic and semantics.

Lists

Timeline

vc has no activity yet