headerdesktop targvara16iun25

MAI SUNT 00:00:00:00

MAI SUNT

X
headermobile targvara16iun25

MAI SUNT 00:00:00:00

MAI SUNT

X

phone

0371.781.781

Lambda-Calculus and Combinators: An Introduction

De (autor): J. Roger Hindley

review Goodreads
Lambda-Calculus and Combinators: An Introduction - J. Roger Hindley

Lambda-Calculus and Combinators: An Introduction

De (autor): J. Roger Hindley

review Goodreads
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
Citeste mai mult

-15%

transport gratuit

PRP: 790.50 Lei

!

Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.

671.92Lei

671.92Lei

790.50 Lei

Primesti 671 puncte

Important icon msg

Primesti puncte de fidelitate dupa fiecare comanda! 100 puncte de fidelitate reprezinta 1 leu. Foloseste-le la viitoarele achizitii!

Livrare in 2-4 saptamani

Adauga in cos cart icon

Descrierea produsului

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
Citeste mai mult

Detaliile produsului

S-ar putea sa-ti placa si

Parerea ta e inspiratie pentru comunitatea Libris!

Istoricul tau de navigare

Acum se comanda

Noi suntem despre carti, si la fel este si

Newsletter-ul nostru.

Aboneaza-te la vestile literare si primesti un cupon de -10% pentru viitoarea ta comanda!

*Reducerea aplicata prin cupon nu se cumuleaza, ci se aplica reducerea cea mai mare.

Ma abonez image one
Ma abonez image one