Wolfgang Jeltsch

355
reputation
1
2
11

I’m passionate about functional programming, logic, type theory, category theory, and more.