Kappa calculus —an analogue of typed lambda calculus which excludes higher-order functions

image typed lambda calculus

define typed lambda calculus

wikipedia typed lambda calculus

weblio typed lambda calculus

kotobank typed lambda calculus

jisho typed lambda calculus