A Theory of Arrays with set and copy Operations.

Stephan Falke, Carsten Sinz, Florian Merz

Browse the full CADE paper archive.