Typentheorie: Unterschied zwischen den Versionen

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge)
Administrator, Bots, Bürokraten, emailconfirmed, Oberflächenadministratoren, interwiki, oversight, SMW-Administratoren, SMW-Kuratoren, SMW-Editoren, Oversighter, Administratoren
42.989 Bearbeitungen
Kowa verschob die Seite Typentheorie nach Typentheorie (Mathematik)
 
Kowa (Diskussion | Beiträge)
Administrator, Bots, Bürokraten, emailconfirmed, Oberflächenadministratoren, interwiki, oversight, SMW-Administratoren, SMW-Kuratoren, SMW-Editoren, Oversighter, Administratoren
42.989 Bearbeitungen
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 1:
#WEITERLEITUNG [[Typentheorie (Mathematik)]]
{{Begriffsklärung}}
 
* Mathematik: [[Typentheorie (Mengenlehre)]]
* Informatik: [[Typentheorie (Informatik)]]
 
[[en:Typetheory]]

Aktuelle Version vom 20. September 2016, 07:44 Uhr

Begriffsklärungsseite: Diese Seite dient zur Unterscheidung mehrerer mit dem gleichen Wort bezeichneter Begriffe.

Abgerufen von „https://glossar.hs-augsburg.de/w/index.php?title=Typentheorie&oldid=40701“