Humord
Symbolic logic
Symbolsk logikk
Typesjekking
Typeforandring
Typeendring
I matematikk, informatikk og logikk er typeteori studien av visse formelle systemer som relaterer termer til typer. <wikipedia>
Typeteori
Type theory (Logic)
Innholdsbeskrivende emne
Topic