Las necesidad de teorías a fondo de lo intencional, por ejemplo cálculo lambda no tipeado, se han resuelto dentro de la semántica denotacional.