Kappa calculus mathematical logic (1 Ergebnisse)

Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematical logic, category theory, and computer science, kappa calculus is a formal system for defining first-order functions. Unlike lambda calculus, kappa calculus has no higher-order functions; its functions are not first class objects. Kappa-calculus can be regarded as 'a reformulation of the first-order fragment of typed lambda calculus'. Because its functions are not first-class objects, evaluation of kappa calculus expressions does not require closures.…