Categorical Combinators, Sequential Algorithms, and Functional Programming by P.
125,22 €
Categorical Combinators. - 1.1 Introducing categorical combinators. -calculus and untyped categorical combinatory logic. - 1.4 From untyped calculus to typed calculus: axiomatizing a universal type.
Jetzt bei Ebay:
