Interstellar is a movie that grew on me. I left the theater annoyed with a few things, in particular this stupid idea that we can all get up and go, live in Saturn in torii where the sky is crops. Healthy crops.
But there is much to love about the movie too, especially the fact that the biggest hero of the story is a woman who solves mathematical problems! this is great!
But yeah the blog post is not about the time puzzles of the movie, after all, any sci-fi has to have a few "temporal knots", but it's about simple, linear time and how to model it. So first here's Dick's old lecture notes on temporality Temporality in Natural Logic. This is/was supposed to be read together with Mark Steedman's The Productions of Time, whose title comes from one of the Blake's Proverbs of Hell. Hard to get any more poetic than this.
Then, hoping against hope that temporal knots may indeed work for us, instead of against us, here is Dick's submission (Transfer Semantics for the Clear Parser) to NLCS'14 in Vienna.