I am a senior researcher at the Logic and Semantics group of the TTÜ Küberneetika Instituut in Tallinn, Estonia. My main research interests are functional programming, logic, type theory, and category theory. I am the main force behind the Grapefruit project on functional reactive programming (FRP) and its theoretical foundations.
9 Pushouts in the category of adjunctions jan 22 '14
6 product operation: name and notation aug 11 '12
1 Exponentials in functor categories aug 6 '12
0 Notable mathematics during World War II aug 29 '12