Distributivity for a monad and a comonad

Electronic Notes in Theoretical Computer Science

Volumn 19, Issue , 1999, Pages 102-

  Power, John ^a   Watanabe, Hiroshi ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; SEMANTICS;

COMONAD; DENOTATIONAL SEMANTICS; EILENBERG-MOORE AND KLEISLI CONSTRUCTION; MONNAD;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 18944394229     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80271-3     Document Type: Conference Paper

References (0)