Connections of coalgebra and semantic modeling.

Lawrence S. Moss

Browse the full TARK paper archive.