Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Liang, Ting-An"'
Autor:
Chen, Liang-Ting
A category CoLog of distributive laws is introduced to unify different approaches to modal logic for coalgebras, based merely on the presence of a contravariant functor P that maps a state space to its collection of predicates. We show that categoric
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.600294