Computer scientist. I used to work on programming languages (design, type systems, compilation), in particular about modularity. My interests then shifted towards semantic foundations of the subject.
2 Examples of non fibrations Oct 4 '13
2 Product between a functor and a distributor Aug 6 '13
1 Proof by induction in categorical terms Sep 25 '13