Typentheorie
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
(Weitergeleitet von Kumulative Typenstruktur)
Begriffsklärungsseite: Diese Seite dient zur Unterscheidung mehrerer mit dem gleichen Wort bezeichneter Begriffe.
- Mathematik: Typentheorie (Mengenlehre)
- Informatik: Typentheorie (Informatik)
