Henk Barendregt szerző bemutatása:

Henk Barendregt szerző eddig megjelent könyvei:

Lambda-számítás típusokkal - Lambda Calculus with Types
Cambridge
Ez a gyakorlatokkal ellátott kézikönyv váratlan matematikai szépségeket tár fel az eddig főként hardver- és...
Lambda-számítás típusokkal - Lambda Calculus with Types
A Lambda-kalkulus. Szintaxis és szemantika - The Lambda Calculus. Its Syntax and Semantics
Kings College Pubn
A Lambda-kalkulus, amelyet ebben a könyvben főként a...
A Lambda-kalkulus. Szintaxis és szemantika - The Lambda Calculus. Its Syntax and Semantics
A Lambda-kalkulus műhold - A Lambda Calculus Satellite
Kings College Pubn
1936-ban az intuitív kiszámíthatóság fogalmát két különböző módon operacionalizálták: a Turing-gépeken és...
A Lambda-kalkulus műhold - A Lambda Calculus Satellite
A Lambda-számítás műholdja - A Lambda Calculus Satellite
Kings College Pubn
1936-ban az intuitív kiszámíthatóság fogalmát két különböző módon operacionalizálták: a Turing-gépeken...
A Lambda-számítás műholdja - A Lambda Calculus Satellite
<<
1
>>