Categorical programming with inductive and coinductive types
By: Varmo Vene
Contributors: Tartu Ülikool
Series: Dissertationes mathematicae Universitatis Tartuensis -- 23
Publisher: Tartu University Press
Published: 2000
Place of publication: Tartu, [Estonia]
Language: eng
Number of pages: 116
Notes: Thesis (doctoral)--University of Tartu, 2000.

Summary in Estonian.