Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Watanabe, Hiroshi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Category theory for operational semantics
Marina Lenisa
,
John Power
,
Hiroshi Watanabe
Theoretical Computer Science
327
(1-2), 2004, pp. 135-154
Combining a monad and a comonad
John Power
,
Hiroshi Watanabe
Theoretical Computer Science
280
(1-2), 2002, pp. 137-162
On the structure of categories of coalgebras
Peter Johnstone
,
John Power
,
Toru Tsujishita
,
Hiroshi Watanabe
,
James Worrell
Theoretical Computer Science
260
(1-2), 2001, pp. 87-117