I am a Research Associate at the Imperial College London working with Dirk Pattinson on the project "Coalgebraic Modal Logic: Fixpoints and Nested Modalities".
|
|
I am a Research Associate at the Imperial College London working with Dirk Pattinson on the project "Coalgebraic Modal Logic: Fixpoints and Nested Modalities". |