Intensionality, Definability and Computation: "Intensionality remains an elusive concept in logical theory, but actually becomes much more tangible and, indeed, inescapable in the context of computation." [PDF] User flexibeast, in the Computer Science: Theory and Application subreddit, 25 May 2017