На данной странице предаставлены все книги издательства «Лямбда пресс»
Типы в языках программирования (Бенджамин Пирс)
