See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Categorical programming with inductive and coinductive types

Varmo Vene, doktorikraad, 2000, (juh) Merik Meriste, Categorical programming with inductive and coinductive types (Kategoorne programmeerimine induktiivsete ja koinduktiivsete tüüpidega), Tartu Ülikool, Matemaatika-informaatikateaduskond.
Varmo Vene
doktorikraad
Kaitstud
Ei
1.09.1997
2000
Inglise
Categorical programming with inductive and coinductive types
Kategoorne programmeerimine induktiivsete ja koinduktiivsete tüüpidega