Constructing a Normal Form for Property Theory.

Mary Cryan, Allan Ramsay

Browse the full CADE paper archive.