The top documents of marco-benini
Programming modulo representations
338 views
June 22nd 2014: Seminar at JAIST
70 views
Algorithms and Their Explanations
150 views
Programming modulo representations
38 views
Point-free foundation of Mathematics
57 views
Brain
212 views
Dealing with negative results
66 views
Variations on the Higman's Lemma
129 views
Explaining the Kruskal Tree Theore
107 views