Computer Scientist Degree - Thesis Work
monads functional-programming coq functor category-theory coq-formalization unam kleisli natural-transformation computer-science-degree mexico-city fciencias mac-lane
-
Updated
Jul 6, 2020 - Coq