"Propositions as Types" by Philip Wadler

"Propositions as Types" by Philip Wadler

Strange Loop Conference

9 лет назад

135,633 Просмотров

Ссылки и html тэги не поддерживаются


Комментарии: