Semantics of type theory : correctness, completeness, and independence results /

• Main Author: Streicher, Thomas, 1958- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Boston : Birkhäuser, 1991.
• Series: Progress in theoretical computer science
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού > Σημασιολογία.