Skip to main content
додому
Текст на IPA
Промова до IPA
Пошук слова за IPA
IPA Читач
Beta
Діаграми IPA
Британська англійська
Американська англійська
Мандарин китайський
Діаграми IPA
A–Z
Блог
toIPA
додому
Текст на IPA
Промова до IPA
Пошук слова за IPA
IPA Читач
Beta
Діаграми IPA
Повний
Британська англійська
Американська англійська
Мандарин китайський
Діаграми IPA
A–Z
Блог
🇺🇦 Українська
🇺🇸 English
🇨🇳 中文
🇯🇵 日本語
🇩🇪 Deutsch
🇫🇷 Français
🇪🇸 Español
🇮🇳 हिन्दी
🇸🇦 العربية
🇧🇩 বাংলা
🇵🇹 Português
🇮🇩 Bahasa Indonesia
🇵🇰 اردو
🇷🇺 Русский
🇻🇳 Tiếng Việt
🇹🇷 Türkçe
🇰🇷 한국어
🇮🇹 Italiano
🇳🇴 Norsk bokmål
🇳🇱 Nederlands
🇵🇱 Polski
🇸🇪 Svenska
🇬🇷 Ελληνικά
🇮🇱 עברית
🇮🇷 فارسی
🇹🇭 ไทย
🇺🇦 Українська
🇨🇿 Čeština
🇧🇾 Беларуская
додому
System F-sub
System F-sub
typed lambda calculus
en-GB
/ˈsɪstəm ɛf - ˈsʌb/
en-US
/ˈsɪstəm ˈɛf - səb/
Категорії:
lambda calculus
typed lambda calculus