Encoding the Program Correctness Proofs as Programs in PCC Technology.

Heidar Pirzadeh, Danny Dub

Browse the full PST paper archive.