Connections of coalgebra and semantic modeling
Lawrence S. Moss · 2011
The aim of this tutorial is to present the area of coalgebra to people interested in the kinds of semantic modeling that is prominent at TARK. Coalgebra is a general study of a great many kinds of models, and these include type spaces and Kripke models, and many others. But the theory is not overly general, it is not a theory of absolutely everything. The tutorial is designed to be a short introduction to a substantial technical field, bearing in mind that this is nearly impossible. It is also intended to bring together literatures from theoretical computer science and game theory.