simply typed lambda calculus

formal system in mathematical logic

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

श्रेणियाँ:

lambda calculustyped lambda calculus