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

NameTypeSizeModified
..Directory--
ФМИ ЛСТД 2019 - Домашна работа 1.pdfPDF file291.92 KiBMon, 06 May 2019 08:30:46 GMT
ФМИ ЛСТД 2019 - Лекции.djvuDJVU file16.26 MiBMon, 13 May 2019 16:50:25 GMT

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

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

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