Ilya Vlasov
243
reputation
1
2
8
Graduate student at Kazan Federal University.
I'm interested in Category theory, Type theory and Mathematical logic.