Treating Congruences as Equalities Within Proofs.

Dale Miller

Browse the full FSCD paper archive.