DocumentCode
3121294
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
fYear
2001
fDate
2001
Firstpage
367
Lastpage
372
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location
Warsaw
ISSN
0195-623X
Print_ISBN
0-7695-1083-3
Type
conf
DOI
10.1109/ISMVL.2001.924597
Filename
924597
Link To Document