[POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)

Просмотров: 1 | Время: 27:51 | Голосов: +1 +1 | Скачать

Скачать клип [POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)