锡箔纸 发表于 2025-3-30 10:03:08
Stephen P. Osborne,Kathleen Rosse main result of our paper is a straightforward construction of the final .-coalgebra of a set functor using a given logical language that has the Hennessy-Milner property with respect to the class of .-coalgebras.HACK 发表于 2025-3-30 12:32:20
http://reply.papertrans.cn/99/9843/984249/984249_52.png