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

• Κύριος συγγραφέας: Streicher, Thomas, 1958- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston : Birkhäuser, 1991.
• Σειρά: Progress in theoretical computer science
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού > Σημασιολογία.
• Φυσική περιγραφή: xii, 298 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 3764335947 (σκληρό εξώφυλλο); 0817635947 (σκληρό εξώφυλλο)