User:TurionTzukosson

Mathematician and computer scientist, working on:


 * TQFTs
 * Differential topology
 * Handle decompositions
 * Functional programming
 * Haskell
 * Type theory