About MSP Group

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.

Toots by @jfdm && @dylan &&
@dilsatby

Lists

Timeline

{username} has no activity yet