rob myers

Personal information


Coalgebra, Coalgebraic Modal Logic, Hybrid Modal Logic, Concept Learning, Haskell, Separation Logic

History


9 years 8 weeks