Die zugehörige Interpretation I = I λ {\displaystyle {}I=I^{\lambda }} wird rekursiv über den Aufbau der Sprache wie folgt festgelegt.