تاربرگ‌های پیموده‌شده در این نشست: Correspondence theory شماره‌ی راستین سان مایکروسیستمز دانش رایانش Modal System T