1 Answers
In mathematical logic, category theory, andcomputer science, kappa calculus is aformal system for defining first-orderfunctions.
Unlike lambda calculus, kappa calculus has nohigher-order functions; its functions arenot first class objects. Kappa-calculus can beregarded as "a reformulation of the first-order fragment of typedlambda calculus".
Because its functions are not first-class objects, evaluation of kappacalculus expressions does not requireclosures.
4 views
Answered