Constructing Higher Inductive Types
Niels van der Weide
Constructing Higher Inductive Types
PaperbackNederlands
In het kort
ISBN-13
9789464190731
Uitgever
Verschenen
8 december 2020
Bibliografisch
ISBN-139789464190731
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Exacte vakken en informatica algemeen 120
Medewerkers
Auteur A01Niels van der Weide
Herkomst
Werk-id (NSTC)500846536
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500846536 · CB-relatie 9281503 · Bijgewerkt 6 augustus 2026