Realfagstermer

Anbefalt term

Typeteori

Type

  • Innholdsbeskrivende emne

Henvisningsterm

  • Martin-løf typeteori
  • Typeforandring
  • Typesjekking

Hører til inndeling

Identifikator

  • REAL006954

På andre språk

engelsk

norsk nynorsk

  • Typeteori
  • Martin-løf typeteori
  • Typeendring
  • Typeforandring
  • Typesjekking

URI

http://data.ub.uio.no/realfagstermer/c006954

Last ned dette begrepet