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

(untitled) - Abramsky, S