The following pages link to Hiroshi Watanabe (Q703524):
Displaying 13 items.
- (Q197932) (redirect page) (← links)
- Category theory for operational semantics (Q703525) (← links)
- A criterion for the existence of subobject classifiers (Q1288006) (← links)
- The subobject classifier of the category of functional bisimulations (Q1301354) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Well-behaved Translations between Structural Operational Semantics (Q2842565) (← links)
- (Q2863901) (← links)
- (Q4222954) (← links)
- (Q4256313) (← links)
- (Q4445049) (← links)
- (Q4499306) (← links)
- (Q4936143) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
