tt-conspect icon indicating copy to clipboard operation
tt-conspect copied to clipboard

Published 20 hours ago • verified publisher icon artemohanjanyan

Diaconescu theorem

Open artemohanjanyan opened this issue 7 years ago • 1 comments

artemohanjanyan avatar May 07 '17 17:05 artemohanjanyan

Сетоиды и Т. Диаконеску: http://kurser.math.su.se/pluginfile.php/5858/mod_resource/content/1/Lecture%20notes%20on%20type%20theory%20pp1-97.pdf (глава 9)

MekhrubonT avatar Jun 23 '17 22:06 MekhrubonT