Ableitung und Berechnung: Die Curry-Howard-Korrespondenz ernst nehmen von
222,41 €
The typed combinator calculus; 4. The typed l-calculus; 5. Substitution algorithms; 6. Applied l-calculi; 7. Ordinals and ordinal notation; 9. Higher order recursion; Part II. The typed combinator calculus; D.
Jetzt bei Ebay:
![Produktbild - Structural Dynamics: Theory and Computation by Leigh, William [Hardback]](https://i.ebayimg.com/thumbs/images/g/LwUAAeSwd2RoNqMf/s-l140.jpg)
![Produktbild - Functions of Matrices: Theory and Computation by Nicholas J. Higham [Hardback]](https://i.ebayimg.com/thumbs/images/g/fgYAAeSw449oSMmZ/s-l140.jpg)
