Lambda Calculi Gtcs 3 C - Prijzen

The [lambda]-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasizes the proof theory for the type-free [lambda]-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationsh...

De Lambda Calculi Gtcs 3 C is een populaire optie . Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Lambda Calculi Gtcs 3 C is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Lambda Calculi Gtcs 3 C
meer afbeeldingen
  • EAN9780198538417
37.983.005producten
137.153merken
920winkels