Domains and lambda-calculi

• Κύριος συγγραφέας: Amadio, Roberto M.
• Άλλοι συγγραφείς: Curien, Pierre-Louis
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Cambridge University Press 1998
• Σειρά: Cambridge tracts in theoretical computer science 46
• Θέματα: Επιστήμη των υπολογιστών; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών > Μαθηματικά