https://autonomous.finance
Autonomous Research Berlin - Miami - NYC - Maybe x λ Calculus ∀ Logic f : x → y Category Theory π Distributed Systems
Ivan Morozov