On intensionality and referential transparency BatesJoseph 2013 Computer Science Department