Axiomatic domain theory in categories of partial maps

• Main Author: Fiore, Marcelo P.
• Format: Book
• Language: English
• Published: Cambridge New York Cambridge University Press 1996
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού