Humord
type: ConceptScheme

Lambda calculus
type: Concept
type: Topic
ccmapper candidates: 1
ccmapper state: accepted
created: 1994-03-21T00:00:00
modified: 2025-09-03T18:57:34
broad match: e23
broader: Computability theory
in scheme: Humord
mapping relation: e23
mapping relation: c009393
preferred label: Lambda-kalkyle @nn

Computability theory
type: Topic
type: Concept
narrower: Lambda calculus
preferred label: Rekursjonsteori @nn

Topic
type: Class
label: Innholdsbeskrivende emne @nb