Index of /files/ФМИ/ЛСТД

NameTypeSizeModified
..Directory--
ФМИ ЛСТД 2019 - Домашна работа 1.pdfPDF file291.92 KiBSun, 16 Feb 2020 19:44:30 GMT
ФМИ ЛСТД 2019 - Лекции.djvuDJVU file24.56 MiBSun, 16 Feb 2020 19:44:31 GMT

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

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

  • Y. Bertot, P. Castéran - Interactive Theorem Proving And Program Development
  • B. Pierce - Types And Programming Languages
От лекциите липсва част от темите за силна нормализация на типизирани термове и за нормализация чрез оценяване.