One Monad to Prove Them All

Сохранить в:
Библиографические подробности
Опубликовано в::arXiv.org (Feb 1, 2019), p. n/a
Главный автор: Dylus, Sandra
Другие авторы: Christiansen, Jan, Teegen, Finn
Опубликовано:
Cornell University Library, arXiv.org
Предметы:
Online-ссылка:Citation/Abstract
Full text outside of ProQuest
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Ваш комментарий будет первым!
Сначала войдите в систему