Verifying Properties of Module Construction in Type Theory.

Bernhard Reus, Thomas Streicher

Browse the full MFCS paper archive.