jado
832
reputation
9
20
Interested in Programming Language Theory, Type Theory, Metamathematics, Theoretical Physics, and many other fields.