A short introduction to the coalgebraic method
Alexandra Soares da Silva · ACM SIGLOG News · 2015
This article contains a brief introduction to coalgebra and an overview of a recent proof of correctness for Brzozowski's algorithm which uses coalgebraic techniques. In the discussion section we briefly discuss the most active research lines in the coalgebra community and take a personal outlook at what future might bring for the field.