|
|
|
A Chu space is a binary relation from a Set 
to an antiset 
which is defined as a Set which
transforms via converse functions.
References
Stanford Concurrency Group. ``Guide to Papers on Chu Spaces.''
http://boole.stanford.edu/chuguide.html.