Strongly Normalizing Audited Computation.

Wilmer Ricciotti, James Cheney

Browse the full CSL paper archive.