Humord
type: ConceptScheme

Symbolsk logikk
type: Innholdsbeskrivende emne
type: Concept
narrower: Typeteori
preferred label: Symbolic logic @en

Typeteori
type: Concept
type: Innholdsbeskrivende emne
ccmapper candidates: 11
ccmapper state: accepted
created: 1994-03-21T00:00:00
modified: 2024-03-13T07:47:59
alternative label: Typesjekking
alternative label: Typeforandring
alternative label: Typeendring
broad match: e23
broader: Symbolsk logikk
definition: I matematikk, informatikk og logikk er typeteori studien av visse formelle systemer som relaterer termer til typer. <wikipedia> @nb
in scheme: Humord
mapping relation: e23
mapping relation: c006954
preferred label: Type theory (Logic) @en

Innholdsbeskrivende emne
type: Class
label: Topic @en