Hokkaido Mathematical Journal

WATANABE Hiroshi,

The subobject classifier of the category of functional bisimulations.

Hokkaido Mathematical Journal, 28 (1999) pp.301-314

Fulltext

PDF

Abstract

MSC(Primary)
MSC(Secondary)
Uncontrolled Keywords