ابتدای محتوای صفحه
۱ - ۱۴منابع پیشنهادی
اینها اشاره به نوشتاری دارن که واجب نیستن، ولی کمک میکنن درک عمیقتری از مطالب فصل پیدا کنین. تا حد امکان از ساده به سنگین مرتب شدن.
۱.
۲.
Henk Barendregt; Erik Barendsen. Introduction to Lambda Calculus
۳.
اینها اشاره به نوشتاری دارن که واجب نیستن، ولی کمک میکنن درک عمیقتری از مطالب فصل پیدا کنین. تا حد امکان از ساده به سنگین مرتب شدن.
۱.
۲.
Henk Barendregt; Erik Barendsen. Introduction to Lambda Calculus
۳.