Gotta say, I've never ever considered "the Ontology of Programs" or "The Epistemological Status of Computer Science" before. I'm trying to keep an open mind here, but I do wonder if some academics are really stretching to justify the latest grant money.