Back to results

S.l. : s.n.

Constructing Higher Inductive Types

dc:creator Weide, N.M. van der

dc:date2020

Abstract

dc:description

Contains fulltext : 226923.pdf (Publisher’s version ) (Open Access)

Degree

thesis:*

Grantor dc:publisher: S.l. : s.n.
Year dc:date: 2020

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Weide, N.M. van der
Contributors dc:contributor: Geuvers, J.H.
Hinze, R.T.W.

Subjects

dc:subject × 1

Software Science

Identifiers

dc:identifier.*

Identifier: 9789464190731
OAI identifier oai:identifier: oai:repository.ubn.ru.nl:2066/226923

Chain of custody

source

Harvested from: Radboud University Nijmegen
Base URL: repository.ubn.ru.nl/oai/request
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

citation

Weide, N.M. van der. Constructing Higher Inductive Types. S.l. : s.n., 2020. https://hdl.handle.net/2066/226923

More from Radboud University Nijmegen