Спасибо! Надо будет прочитать. На самом деле Барендрегт же у себя все это изложил по-моему (но позже). А Скотта я, слава те господи, лично слушал, на лямбдаконфе. Он там четыре часа рассказывал это все. Отлично рассказывал, я даже конспектировал.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2021-01-08 04:47 am (UTC)Спасибо! Надо будет прочитать. На самом деле Барендрегт же у себя все это изложил по-моему (но позже). А Скотта я, слава те господи, лично слушал, на лямбдаконфе. Он там четыре часа рассказывал это все. Отлично рассказывал, я даже конспектировал.