A High Level Programming Language Based Upon Ordered Multisets.

Daniel E. Cooke

Browse the full SEKE paper archive.