تگ: تحلیل جبری سیستم‌های نوع