Home » user account

rob myers

Personal information


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

History


17 years 4 weeks