Lambda kalkulus s typmi - Lambda Calculus with Types

Táto príručka s cvičeniami odhaľuje vo formalizmoch, ktoré sa doteraz používali najmä na návrh a verifikáciu hardvéru...

Lambda kalkulus. Syntax a sémantika - The Lambda Calculus. Its Syntax and Semantics

Lambda kalkulačka, ktorá je v tejto knihe spracovaná najmä vo...

A Lambda Calculus Satellite

V roku 1936 bol pojem intuitívnej vypočítateľnosti operacionalizovaný dvoma rôznymi spôsobmi: prostredníctvom Turingových strojov a...

Satelit lambda kalkulu - A Lambda Calculus Satellite

V roku 1936 bol pojem intuitívnej vypočítateľnosti operacionalizovaný dvoma rôznymi spôsobmi: prostredníctvom...

Predstavenie autora Henk Barendregt:

Doterajšie vydané knihy od Henk Barendregt: