Monthly Archives: February 2012

[Proof] λ→ is normalizing

I studied a proof today that I had been putting off for some time now; that a simply typed lambda calculus is normalizing — every well-typed expression eventually reduces to a value. The proof is quite clever and that the … Continue reading

Posted in Computers, Rest | Tagged , , , | Leave a comment

Books, movies and music

I graduated out of high school an idiot. I hadn’t read anything, seen anything or heard anything (Everybody anyone?). Now that I’m becoming moderately literate in such things, I think I can make a generalization — the information content (sorry … Continue reading

Posted in Rest | 1 Comment