Domains and lambda-calculi

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Amadio, Roberto M.
Άλλοι συγγραφείς: Curien, Pierre-Louis
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Cambridge University Press 1998
Σειρά:Cambridge tracts in theoretical computer science 46
Θέματα:
LEADER 01710nam a2200349 u 4500
001 10036313
003 upatras
005 20210117195515.0
008 000406s1998 uk eng
020 |a 0521622778 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 005.13 
100 1 |a Amadio, Roberto M.  |9 7777 
245 1 0 |a Domains and lambda-calculi  |c Roberto M. Amadio and Pierre-Louis Curien 
260 |a Cambridge  |b Cambridge University Press  |c 1998 
300 |a xvi, 484 p.  |c 24 cm. 
490 0 |a Cambridge tracts in theoretical computer science  |v 46 
504 |a Includes bibliographical references and index 
650 4 |a Επιστήμη των υπολογιστών  |9 4210 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Γλώσσες προγραμματισμού  |9 263 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Επιστήμη των υπολογιστών  |x Μαθηματικά  |9 875 
700 1 |a Curien, Pierre-Louis  |9 7778 
760 0 |a Cambridge tracts in theoretical computer science  |g 46 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 005.13 A  |m 057469  |p 025000080161  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ-12  |h 005.13 AΜΑ  |m 079984  |p 025000115794  |t 2 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_A  |7 0  |9 7563  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 057469  |l 0  |o 005.13 A  |p 025000080161  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_AΜΑ  |7 0  |9 7564  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 079984  |l 0  |o 005.13 AΜΑ  |p 025000115794  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15 
998 |c ΔΡΑΚΟΠΟΥΛΟΥ  |d 2000-09 
999 |c 3885  |d 3885