Intensionality, definability and computation - Abramsky, S (Johan van Benthem on Logic and Information Dynamics, 2014)