ФМИ ЛСТД 2018-2019 - Лекции.djvuFile: DJVU24.56 MiBSat, 22 Aug 2020 17:12:34 GMT
ФМИ ЛСТД 2018-2019 - Домашна работа 1.pdfFile: PDF291.92 KiBSat, 22 Aug 2020 17:12:31 GMT

Ламбда смятане и теория на доказателствата

Препоръчана литература:

  • Y. Bertot, P. Castéran - Interactive Theorem Proving And Program Development
  • B. Pierce - Types And Programming Languages
От лекциите липсва част от темите за силна нормализация на типизирани термове и за нормализация чрез оценяване.
Notice: Unless specifically noted otherwise, all content on this page is licensed under CC0, i.e. it is free for modification and redistribution.