Ivan Morozov
allquantor
λ CalculusÂ
∀ LogicÂ
f : x → y Category Theory
π  Distributed Systems
Autonomous Research Berlin - Miami - NYC - Maybe x