Mar. 9th, 2009

alogic: (Default)
В прошлый четверг и в эту среду изучали по-порядку: введение рекурсии в наше типизированное исчисление с помощью оператора неподвижной точки fix; редукционные стратегии.

Profile

alogic: (Default)
alogic

December 2016

S M T W T F S
    123
45678910
11121314151617
181920212223 24
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 18th, 2025 11:35 am
Powered by Dreamwidth Studios