@mspstrath@mastodon.acm.org
Joined: 01/19/2024
Mathematically Structured Programming group @ The University of Strathclyde
We are interested in type theory, category theory, and how to stop seeing them as different things.
mspstrath has no public lists
mspstrath has no activity yet