Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лёфа.
Full text not available from this repository.| Item Type: | Thesis |
|---|---|
| Subjects: | Informatics and Computer Systems |
| Depositing User: | NLA Circ. Dpt. |
| Date Deposited: | 07 Feb 2019 11:27 |
| Last Modified: | 07 Feb 2019 11:27 |
| URI: | http://etd.nla.am/id/eprint/8885 |
Actions (login required)
- View Item