rob myers

Personal information


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

History


8 years 38 weeks