Combinators, λ-Terms and Proof Theory

¿-Terms and
Wo zu kaufen (1) Eigenschaften
Gesponsert
Combinators, λ-Terms and Proof Theory
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 30-04-2026 00:42:20
Siehe Produktangebot

Allgemein

ISBN
9027703051

Eigenschaften

Ähnliche Produkte

Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Produkt anzeigen
Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Band 4)
Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Band 4)
Produkt anzeigen
Stenlund, S.: Combinators, ¿-Terms and Proof Theory
Stenlund, S.: Combinators, ¿-Terms and Proof Theory
Produkt anzeigen
Metabo 616501000 Combinator 125x1,9x22,23 Inox
Metabo 616501000 Combinator 125x1,9x22,23 Inox
Produkt anzeigen
Lambda-Calculus and Combinators: An Introduction
Lambda-Calculus and Combinators: An Introduction
Produkt anzeigen
Lambda-Calculus and Combinators: An Introduction
Lambda-Calculus and Combinators: An Introduction
Produkt anzeigen
Menü