TurionTzukosson

Mathematician and computer scientist, working on:

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

This user is interested in
Mathematics.