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

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

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

A

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

Алгоритмы и теория