type theory
Tieteen termipankista
Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
tyyppiteoria (Filosofia)
Russellilla yleinen logiikka, joka on vapaa paradokseista
Kieliopillinen koodaus (englanti)
Sanaluokka | substantiivi |
Suku | |
Alkuperä |
Alaviite
Lähdeviittaus tähän sivuun:
Tieteen termipankki 4.12.2024: Nimitys:type theory.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:type theory.)
Noudettu kohteesta ”https://tieteentermipankki.fi/w/index.php?title=Nimitys:type_theory&oldid=436360”