Research Interests

Thursday, 10 July 2008 13:12

View Comments Ranking (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 Wednesday, 12 January 2011 15:18