|
|
|
Регистрация Восстановить пароль |
|||||||
| Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
||||
 |
|
|
Опции темы | Поиск в этой теме |
04.11.2021, 14:43
|
#1 |
|
Новичок
Джуниор
Регистрация: 03.11.2021
Сообщений: 1
|
Теория типов
Друзья ищу человека способного помочь с теорией типов, нижц темы с которыми нужна помощь:
Нетипичный язык NBL Типичный язык NBL Типичные λ-исчесления Нетипичные λ-исчесления Производные формы термов типизированного λ-исчисления Типизированное λ-исчисление с типом функционала, произведения и суммы Типизированное λ-исчисление с типом функционала, произведения и суммы (Все это конечно не бесплатно) Телеграм: @Lipidy4 Последний раз редактировалось Lipidy4; 04.11.2021 в 14:48. |
|
|
|
Похожие темы
|
||||
| Тема | Автор | Раздел | Ответов | Последнее сообщение |
| Т-теория | Utkin | Свободное общение | 6 | 28.09.2012 21:26 |
| Теория....... | PRIVIDENIE18 | Помощь студентам | 9 | 07.12.2011 14:53 |
| Теория C# | JinAnton | Помощь студентам | 3 | 02.06.2011 21:29 |
| Теория информации + теория её передачи. | vedro-compota | Общие вопросы по программированию, компьютерный форум | 4 | 23.10.2010 10:06 |
| Теория по С ++! | 123er4 | Общие вопросы C/C++ | 5 | 12.06.2010 16:45 |
