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...
