 In recent years many models of parts of such foundational theories for intuitionistic mathematics have appeared, some of them have been mentioned above. Especially in topos theory (van Oosten 2008) there are many models that capture certain characteristics of intuitionism. There are, for example, topoi in which all total real functions are continuous. Functional interpretations such as realizability as well as interpretations in type theory could also be viewed as models of intuitionistic mathematics and most other constructive theories.