Lambda kalkul a funkcionální programování doc. RNDr. Michal Krupka, Ph.D.

Texty k přednáškám

• 10. února, Teorie lambda
• 17. února, konzistence a úplnost
• 24. února, Výpočty
• 3. března, lambda-vyčíslitelnost
• 10. března, Rozhodnutelnost
• 17. března, Sémantika. Článek D. Scotta