Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by

Ø 0.0

0 Bewertungen

160,60 €

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:

ISBN-13:

9780521771733
Book Title:

Derivation and Computation: Taking the Curry-Howard Correspondenc
ISBN:

9780521771733

None:

International Standard : tracked-no signature (7 to 15 business days) 23,99 EUR - Lieferung zwischen 30. June 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere