View of Analysis of Bounds for Lengths of Reductions in Typed λ-calculus

Return to Article Details Analysis of Bounds for Lengths of Reductions in Typed λ-calculus Download Download PDF