It was bit chilly this morning, so I put on a jacket. Inside the jacket pocket, there was a list of words I made a couple years ago. Here is a selection
( Read more... )
yeah, something like that. I think the list was originally prompted by the analogy, "a sequent calculus without cut-elimination is like a car without engine". Though some of the entries don't seem to make sense now. The last was a reference to Polly-O String Cheese.
Comments 1
Reply
Leave a comment