Normal view
MARC view
Categorical programming with inductive and coinductive types Varmo Vene
Material type:
TextSeries: Dissertationes mathematicae Universitatis TartuensisPublication details: Tartu Tartu University Press 2000Description: 116 pISBN: 9985565142ISSN: 1024-4212Subject(s): диссертации | математическое программирование
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-854723к 51 (Browse shelf(Opens below)) | 1 | Available | 13820000270095 |
Bibliogr.: p.102-107
There are no comments on this title.
Log in to your account to post a comment.