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