Home » user account

rob myers

Personal information


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

History


16 years 49 weeks