Skip to main content
Home
Text to IPA
Speech to IPA
IPA to Word
IPA Reader
Beta
IPA charts
British English
American English
Mandarin Chinese
IPA charts
A–Z
Blog
toIPA
Home
Text to IPA
Speech to IPA
IPA to Word
IPA Reader
Beta
IPA charts
Full
British English
American English
Mandarin Chinese
IPA charts
A–Z
Blog
🇺🇸 English
🇺🇸 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
🇧🇾 Беларуская
Home
typed lambda calculus
typed lambda calculus
typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
en-GB
/taɪpt læmdə ˈkælkjʊləs/
en-US
/ˈtaɪpt ˈlæmdə ˈkælkjələs/
Categories:
lambda calculus