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

NameTypeSizeModified
..Directory--
ФМИ ЛСТД 2019 - Лекции.djvuDJVU file5.51 MiBMon, 11 Mar 2019 15:48:15 GMT

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

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

  • Y. Bertot, P. Castéran - Interactive Theorem Proving And Program Development
  • B. Pierce - Types And Programming Languages