A mathematcal language which is appropriate for describing theories in which properties are context dependent, as in Relational Quantum Theory.

Cocky Eek - 26 May 2006