View of Non-standard reductions and categorical models in typed lambda-calculus.

Return to Article Details Non-standard reductions and categorical models in typed lambda-calculus. Download Download PDF