View of ON FORMALIZATION OF NOTION OF $\delta$-REDUCTION IN MONOTONIC MODELS OF TYPED $\lambda$-CALCULUS

Return to Article Details ON FORMALIZATION OF NOTION OF $\delta$-REDUCTION IN MONOTONIC MODELS OF TYPED $\lambda$-CALCULUS Download Download PDF