MSP Group (now at mastodon.acm.org/@mspstrath) (@mspstrath) 's Twitter Profile
MSP Group (now at mastodon.acm.org/@mspstrath)

@mspstrath

Mathematically Structured Programming group @UniStrathclyde
We are interested in type theory, category theory, and how to stop seeing them as different things.

ID: 1377286646341771267

linkhttp://msp.cis.strath.ac.uk calendar_today31-03-2021 15:48:48

89 Tweet

858 Followers

22 Following