Research Interests

Thursday, 10 July 2008 13:12

View Comments (Enriched) Category Theory Coalgebra and Coalgebraic (Modal) Logic Generic Trace Theory Coalgebraic Automata Theory Modal and Intuitionistic Logic The Theory of Graph Rewriting Quantum Field Theories Dependent Type Theory Nominal Calculi blog comments powered by Disqus back to top

Last Updated on Monday, 14 June 2010 17:43