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.
@mspstrath hasn’t posted
When they do, their posts will show up here.