A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.

Olivier Hermant, James Lipton

Browse the full CSL paper archive.