Have you looked at that paper? The notation used makes it almost impenetrable. I appreciate the ideas but I couldn't make sense of it when I was learning Haskell ... Maybe after Erik's category theory lectures it will make sense to me.
Great video - thanks for posting. I would really like to see more detailing the relationship between derivatives and the lambda-calculus. Greg even mentioned he has some code that illustrates the concept - could you post a link?
Even for people with a CS background, this is a great lecture. I didn't realize there were other kinds of computing models (Pointer machines, Kolmogarov machines). He also gave some great algorithm examples that you can't computer (buckets-of-rain) or that
are too slow (real arithmetic).
Great start to a very promising series, thank you!