lambda calculus

formal system in mathematical logic

en-US/ˈlæmdə ˈkælkjələs/
en-GB/læmdə ˈkælkjʊləs/

श्रेणियाँ:

mathematical modelformal system