Title :
Composing submonads
Author :
Eklund, P. ; Galán, M.A. ; Medina, J. ; Ojeda-Aciego, M. ; Valverde, A.
Author_Institution :
Dept. of Comput. Sci., Umea Univ., Sweden
Abstract :
In this paper we use the concept of subfunctors and submonads in order to provide a technique for constructing new monads from given ones. We study some properties of these constructions and provide more examples on monad compositions
Keywords :
formal logic; monads; subfunctors; submonads; Councils; Erbium; Lattices; Power engineering and energy; Reverse engineering;
Conference_Titel :
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location :
Warsaw
Print_ISBN :
0-7695-1083-3
DOI :
10.1109/ISMVL.2001.924597
