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

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

Timeline

{username} has no activity yet