Beranda
simply typed lambda calculus

simply typed lambda calculus

formal system in mathematical logic

en-US/ˈsɪmpli ˈtaɪpt ˈlæmdə ˈkælkjələs/

en-GB/sɪmpliː taɪpt læmdə ˈkælkjʊləs/

Kategori:

lambda calculus typed lambda calculus