Результаты поиска по запросу "coinduction"
Вычислить (бесконечное) дерево из оператора фиксированной точки, используя модальность задержки
Вот головоломка функционального программирования, включающая связывание циклов и бесконечные структуры данных. Есть немного фона, так что держитесь крепче.На...