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
Предмети:
Онлайн доступ:Citation/Abstract
Full text outside of ProQuest
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Будьте першим, хто залишить коментар!
Спочатку зайдіть до системи