Consistency argument and classification problem in λ-calculus

【摘要】 <正> Enlightened by Mal’cev theorem in universal algebra, a new criterion for consistency argument in λ-calculus has been introduced. It is equivalent to Jacopini and Baeten-Boerboom’ s, but more convenient to use. Based on the new criterion, one uses an enhanced technique to show a few results which provides a deeper insight in the classification problem of λ-terms with no normal forms.更多还原

【Abstract】 Enlightened by Mal cevtheorem in universal algebra, a new criterion for consistency argument in A-cal-culus has been introduced. It is equivalent to Jacopini and Baeten-Boerboom’ s, but more convenient to use. Based on the new criterion, one uses an enhanced technique to show a few results which provides a deeper insight,in the classification problem of λ-terms with no normal forms.更多还原