Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Тематические обсуждения
»
Computer Science
Корекурсия, коиндукция, терминальные коалгебры
Пред. тема
|
След. тема
arseniiv
Корекурсия, коиндукция, терминальные коалгебры
12.05.2017, 19:24
Пожалуйста, посоветуйте что-нибудь, рассматривающее эти вещи достаточно долго (в применении к программированию).
Страница
1
из
1
[ 1 сообщение ]
Список форумов
»
Тематические обсуждения
»
Computer Science