A Domain Theoretic Approach to Higher-Order Relations.

Peter Buneman, Atsushi Ohori

Browse the full ICDT paper archive.