λ-смятане и теория на доказателствата 2018/19

Здравейте, колеги,

Добре дошли в курса на дисциплината "λ-смятане и теория на доказателствата". Тук са качени всички материали от лекции до момента. Въпроси по курса можете да задавате във форума за въпроси.

Поздрави,
Т. Трифонов