Zainteresowania
topologia, teoria kategorii, teoria typów, fundamenty matematyki
![avatar for Filip Oskar Łanecki](http://apacz.matinf.uj.edu.pl/images/photos/2840.jpg?1721098033)
Filip Oskar Łanecki
stopień/tytuł magister statusdoktorant matematyki
topologia, teoria kategorii, teoria typów, fundamenty matematyki