Hiroshi Watanabe

Publication Activity (10 Years)

Years Active: 1998-2004
Publications (10 Years): 0

Publications

Marina Lenisa, John Power, Hiroshi Watanabe
Category theory for operational semantics. Theor. Comput. Sci. 327 (1-2) (2004)
John Power, Hiroshi Watanabe
Combining a monad and a comonad. Theor. Comput. Sci. 280 (1-2) (2002)
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
On the structure of categories of coalgebras. Theor. Comput. Sci. 260 (1-2) (2001)
Marina Lenisa, John Power, Hiroshi Watanabe
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. CMCS (2000)
John Power, Hiroshi Watanabe
Distributivity for a monad and a comonad. CMCS (1999)
Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras. LICS (1998)
John Power, Hiroshi Watanabe
An axiomatics for categories of coalgebras. CMCS (1998)