COOPER - The Compositional Construction of a Canonical Tester.

Rudie Alderden

Browse the full FORTE paper archive.