Models of sharing graphs a categorical semantics of let and letrec

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hasegawa, Masahito
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London Springer 1999
Σειρά:Distinguished dissertations
Θέματα:
LEADER 01122nam a2200289 u 4500
001 10033964
003 upatras
005 20210117195343.0
008 000421s1999 uk eng
020 |a 1852331453 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 005.15 
100 1 |a Hasegawa, Masahito  |9 3833 
245 1 0 |a Models of sharing graphs  |b a categorical semantics of let and letrec  |c Masahito Hasegawa 
260 |a London  |b Springer  |c 1999 
300 |a xii, 134 p.  |b fig.  |c 24 cm. 
490 0 |a Distinguished dissertations 
504 |a Includes bibliography and index 
650 4 |a Γλώσσες προγραμματισμού  |9 1594 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
760 0 |a Distinguished dissertations 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 005.13 H  |m 057487  |p 025000080184  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_H  |7 0  |9 2983  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 057487  |l 0  |o 005.13 H  |p 025000080184  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΗΛΙΟΠΟΥΛΟΥ  |d 2000-04 
999 |c 1597  |d 1597