https://9dok.net/document/y6e4jgp7-intensionen-typen-modelle-bemerkungen-entwicklungen-formalen-semantik.html