Skip to main content

Ivan Di Liberti

Praha, Repubblica Ceca

https://diliberti.github.io

Category theory and categorical logic.

Top Questions
1 2 3 4 5

Top Answers
1 2