Domains and lambda-calculi

• Main Author: Amadio, Roberto M.
• Other Authors: Curien, Pierre-Louis
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press 1998
• Series: Cambridge tracts in theoretical computer science 46
• Subjects: Επιστήμη των υπολογιστών; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Λογική, Συμβολική και μαθηματική; Επιστήμη των υπολογιστών > Μαθηματικά