
Recent Posts
Recent Comments
sanjoyd on Faking Dependent Types in… drocta on Faking Dependent Types in… Matt on Faking Dependent Types in… Francis Kim on Faking Dependent Types in… Anurag Bishnoi on On why religion is a double… Archives
Categories
Meta
Tag Archives: math
Initial Algebras: Part II
In the last post we looked at functor algebras and properties of morphisms (arrows) between them. In this post we’ll explore initial functor algebras (or initial FAlgebras). The Cliffhanger The last episode ended with a question on whether it is … Continue reading
Posted in Computers
Tagged category theory, computer science, haskell, math, Programming
Leave a comment
[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 welltyped expression eventually reduces to a value. The proof is quite clever and that the … Continue reading
Posted in Computers, Rest
Tagged math, programming language theory, programming languages, types
Leave a comment