lambda calculus

formal system in mathematical logic

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

دسته بندی ها:

mathematical modelformal system