lematheux

Status: Active user
Joined: 7 months ago by invitation from gasche
Karma: 119
Stories Submitted: 3, most commonly tagged person
Comments Posted: 19
About:

Retired category theorist. Linear logic, toposes, that kind of stuff. Still looking for the right programming and scripting and dev tools.