Verwandte Artikel zu Kappa Calculus: Mathematical logic, Category theory,...

Kappa Calculus: Mathematical logic, Category theory, Computer science - Softcover

 
9786201388239: Kappa Calculus: Mathematical logic, Category theory, Computer science
Softcover
ISBN 10: 6201388230 ISBN 13: 9786201388239
Verlag: OmniScriptum, 2026

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
OmniScriptum
Erscheinungsdatum
2026
Sprache
Englisch
ISBN 10 
6201388230
ISBN 13 
9786201388239
Einband
Taschenbuch
Anzahl der Seiten
92
Herausgeber
Miller Frederic P., Vandome Agnes F., McBrewster John
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar