昨日の続き Journal of Logic and Computation "Coalgebras are rapidly gaining ground as fundamental structures for modelling the concept of state-based dynamics" " languages and deductive systems for specifying and reasoning about behaviour …