Home » user account

rob myers

Personal information


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

History


15 years 38 weeks