Federico Dal Maso
Y=(λf.(λx.f(xx))(λx.f(xx))) => any F, F(YF)=YF ... do you λ-understand?
Blog Stats
Posts - 0
Articles - 0
Comments - 0
Trackbacks - 0
Home
Archives
Contact
Login
Archives
Syndication:
RSS
Recent Comments
Archives
Syndication:
RSS
Hosted by
Copyright © Federico Dal Maso