About vikraman

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

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet