|
Volumn 28, Issue 2, 1999, Pages 301-314
|
The subobject classifier of the category of functional bisimulations
|
Author keywords
Coalgebra; Dense; Functional bisimulation; Nondeterministic dynamical system; Subobject classifier
|
Indexed keywords
|
EID: 0004497605
PISSN: 03854035
EISSN: None
Source Type: Journal
DOI: 10.14492/hokmj/1351001215 Document Type: Article |
Times cited : (2)
|
References (10)
|