رخگاه کریایی
همچنین شناخته شده با: واسط تابعی
برابر انگلیک (انگلیسی): functional interface


تاربرگ‌های پیموده‌شده در این نشست: چماریک‌های پیوندی ⟩ گویایی بی‌پایان ارزشی ⟩ گویایی ⟩ تورینگ ⟩ آپارش درتاهش ⟩ A Completeness Theorem in Modal Logic