In a two level semantic analysis, where expressions are assigned certain entities that are functions and other entities that are the values of those functions at particular indices, clearly the functions are intensions vis a vis the values and the values are extensions vis a vis the functions.