Lambda kalkul s typy - Lambda Calculus with Types

Tato příručka s cvičeními odhaluje ve formalismech, dosud používaných především pro návrh a verifikaci hardwaru a...

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

Lambda kalkul, který je v této knize zpracován především ve...

Satelit Lambda Calculus - A Lambda Calculus Satellite

V roce 1936 byl pojem intuitivní spočitatelnosti operacionalizován dvěma různými způsoby: prostřednictvím...

Satelit Lambda Calculus - A Lambda Calculus Satellite

V roce 1936 byl pojem intuitivní spočitatelnosti operacionalizován dvěma různými způsoby: prostřednictvím...

Představení autora Henk Barendregt:

Doposud vydané knihy od Henk Barendregt: