toIPA
Home
Blog
Category
Lambda calculus
formal system in mathematical logic
Pronunciation
/ˈlæmdə ˈkælkjələs/
/ˈlamdə ˈkalkjʊləs/
Categories
mathematical model
formal system