опять про комбинаторы
May. 30th, 2006 02:49 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
lomeoВот после долгих попыток перевести K в IBCS базис, понял, что этот базис не является полным, т.е, через него нельзя выразить любые лямбда-термы без свободных переменных.
lomeolomeoProfile
Dmitry Antonyuk
Navigation
Page Summary
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Style Credit
- Base style: Heads Up by
- Theme: A Brighter View by zaluzianskya and
![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
skylark_photos
Expand Cut Tags
No cut tags
no subject
Date: 2006-06-13 06:50 am (UTC)Спасибо!