type theory

Luo tämän nimityksen perusteella käsite uudelle aihealueelle:

Korp-linkki-testi

tyyppiteoria (Filosofia)

Russellilla yleinen logiikka, joka on vapaa paradokseista

Lue koko artikkeli

Kieliopillinen koodaus (englanti)

Sanaluokka	substantiivi
Suku
Alkuperä

Alaviite

Lähdeviittaus tähän sivuun:
Tieteen termipankki 17.04.2026: Nimitys:type theory. (Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:type theory.)