دانلود کتاب Systèmes d’inférence de type pour le lambda-calcul et pour le lambda-calcul à objets
by Luigi Liquori
|
عنوان فارسی: سیستم های استنباطی را برای محاسبات lambda و برای حساب های lambda شی گرا تایپ کنید |