> This isomorphism specifies that D is a type that is isomorphic to the space of partial functions on D itself, which is impossible if types are just sets.
Bullshit, application and abstraction are continuous with Scott's topology.
Of course not. It just should be the countable set [D -> D] of continuous functions which lambda terms are, instead of D -> D which type bullshitters like to think.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2017-05-01 10:26 pm (UTC)Bullshit, application and abstraction are continuous with Scott's topology.
no subject
Date: 2017-05-01 11:10 pm (UTC)no subject
Date: 2017-05-01 11:24 pm (UTC)no subject
Date: 2017-05-02 12:08 am (UTC)no subject
Date: 2017-05-02 12:02 am (UTC)https://youtu.be/nhc94A829qI?t=35m40s
no subject
Date: 2017-05-02 12:07 am (UTC)I have a dream, get him to our seminar...
no subject
Date: 2017-05-01 10:52 pm (UTC)в много этажей везде
она хорошая?
no subject
Date: 2017-05-01 11:10 pm (UTC)