Typentheorie: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) (Kowa verschob die Seite Typentheorie nach Typentheorie (Mathematik)) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 1: | Zeile 1: | ||
{{Begriffsklärung}} | |||
* Mathematik: [[Typentheorie (Mengenlehre)]] | |||
* Informatik: [[Typentheorie (Informatik)]] | |||
[[en:Typetheory]] |
Aktuelle Version vom 20. September 2016, 09:44 Uhr
Begriffsklärungsseite: Diese Seite dient zur Unterscheidung mehrerer mit dem gleichen Wort bezeichneter Begriffe.
- Mathematik: Typentheorie (Mengenlehre)
- Informatik: Typentheorie (Informatik)