Preferred term
Agda
Type
- Innholdsbeskrivende emne
Definition
- Programmeringsspråk for funksjonsprogrammering <uio>
Broader concept
Identifier
- HUME62232
Editorial note
- Lukket bemerkning: ubo24
URI
http://data.ub.uio.no/humord/c62232