Tilrådd term
Typeteori
Type
- Innholdsbeskrivende emne
Definisjon
- I matematikk, informatikk og logikk er typeteori studien av visse formelle systemer som relaterer termer til typer. <wikipedia>
Overordna omgrep
Identifikator
- HUME00726
På andre språk
engelsk
norsk nynorsk
- Typeteori
- Typeendring
- Typeforandring
- Typesjekking
URI
http://data.ub.uio.no/humord/c00726