Skip to main content
Início
Texto para IPA
Fala para IPA
Pesquisar palavra por IPA
Leitor de IPA
Beta
Tabelas IPA
Inglês britânico
Inglês americano
Chinês mandarim
Tabelas IPA
A–Z
Blog
toIPA
Início
Texto para IPA
Fala para IPA
Pesquisar palavra por IPA
Leitor de IPA
Beta
Tabelas IPA
Completo
Inglês britânico
Inglês americano
Chinês mandarim
Tabelas IPA
A–Z
Blog
🇵🇹 Português
🇺🇸 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
🇧🇾 Беларуская
Início
System F
System F
typed lambda calculus
en-US
/ˈsɪstəm ˈɛf/
en-GB
/ˈsɪstəm ɛf/
Categorias:
lambda calculus
typed lambda calculus