View of Program Extraction from Proofs of Weak Head Normalization

Return to Article Details Program Extraction from Proofs of Weak Head Normalization Download Download PDF