Hi, I've just finished an unpublished paper on finite higher-ordered binary relations (FHOBR). They are implemented using (annotated) uniquely represented confluently persistent treaps. I believe it is original work. Please correct me if I'm wrong.
See: http://oercode.blogspot.nl/2012/11/finite-higher-ordered-binary-relations.html Regards, Robbert van Dalen. _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
