Abstract: Monads are the basis of a well-established method of encapsulating side-effects in semantics and programming. There have been a number of proposals for monadic program logics in the setting ...
Abstract: A category of fuzzy type automata in monads (in clone form) is introduced. A monad of extensional fuzzy sets in sets with similarity relations and a monad of fuzzy objects in spaces with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results