Книги / тег / теория типов

Книги по тегу #теория типов

всего · 2
EN
Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

A

Anton Antich

AI и ML
RU
Программирование: комбинаторная логика

Программирование: комбинаторная логика

A

И. А. Кудрявцева, М. В. Швецкий

Языки программирования