His writings on monads come to mind, though I may be mistaken.

Did you know he made a mechanical calculator? Here's a pretty cool link from the wolfram blog: http://blog.stephenwolfram.com/2013/05/dropping-in-on-gottfr...