In spite of the pre-mathematical nature of this meaning theory, its technical aspects can be captured as a mathematical model construction similar to Kleene’s realizability interpretation of intuitionistic logic, see the next section. The realizers here are the terms of type theory rather than the number realizers used by Kleene.