Kappa Calculus: Mathematical logic, Category theory, Computer science - Couverture souple

Couverture souple

ISBN 10 : 6201388230 ISBN 13 : 9786201388239

Editeur : OmniScriptum, 2026

Synopsis

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.

Détails de l'édition

• Éditeur: OmniScriptum
• Date d'édition: 2026
• Langue: anglais
• ISBN 10: 6201388230
• ISBN 13: 9786201388239
• Reliure: Broché
• Nombre de pages: 92
• Éditeur: Miller Frederic P., Vandome Agnes F., McBrewster John
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible