Categorical programming with inductive and coinductive types / Varmo Vene
Saved in:
Superior document: | Dissertationes mathematicae Universitatis Tartuensis 23 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Tartu : Ülikooli Kirjastus, 2000 |
Year of Publication: | 2000 |
Language: | English |
Series: | Dissertationes mathematicae Universitatis Tartuensis
23 |
Physical Description: | 116 S.; 25 cm |
Notes: | Literaturverz. S. 102 - 107 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 00847nam#a2200289zcb4500 | ||
---|---|---|---|
001 | 990000351120504498 | ||
005 | 20230326190948.0 | ||
007 | tu | ||
008 | 010206|2000####|||###########|||#|#eng#c | ||
009 | AC03124749 | ||
020 | |a 9985565142 | ||
035 | |a (AT-OBV)AC03124749 | ||
035 | |a AC03124749 | ||
035 | |a (Aleph)003120325ACC01 | ||
035 | |a (DE-599)OBVAC03124749 | ||
035 | |a (EXLNZ-43ACC_NETWORK)990031203250203331 | ||
040 | |a OAW |b ger |e rakddb | ||
041 | |a eng | ||
044 | |c XA-EE | ||
100 | 1 | |a Vene, Varmo |4 aut | |
245 | 1 | 0 | |a Categorical programming with inductive and coinductive types |c Varmo Vene |
264 | 1 | |a Tartu |b Ülikooli Kirjastus |c 2000 | |
300 | |a 116 S. |c 25 cm | ||
490 | 1 | |a Dissertationes mathematicae Universitatis Tartuensis |v 23 | |
500 | |a Literaturverz. S. 102 - 107 | ||
502 | |a zugl.: Tartu, Univ., Diss. 2000 | ||
830 | 0 | |w (AT-OBV)AC02937968 |v 23 | |
970 | 1 | |c 23 | |
ADM | |b 2023-03-26 19:09:48 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 07:40:56 Europe/Vienna |g false | ||
HOL | 8 | |b YWOAW |h 89876.23 |c MAG1 |8 2216820360004498 | |
852 | 8 | |b YWOAW |c MAG1 |h 89876.23 |8 2216820360004498 | |
ITM | |9 2216820360004498 |e 1 |m BOOK |b +YW138009 |i 89876.23 |2 MAG1 |o 20010206 |8 2316820350004498 |f 02 |p 2001-02-06 01:00:00 Europe/Vienna |h 89876.23 |1 YWOAW |q 2022-09-30 15:42:13 Europe/Vienna |