A really rather interesting article about the practical interpretation of computational theory.
Haskell/Denotational semantics A really rather interesting article about the practical interpretation of computational theory. View the discussion thread.