Вернуться к Подробностям о статье
Монадные вычисления в теоретико-типовой семантике
Скачать
Скачать PDF