Extensional constructs in intensional type theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hofmann, Martin
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer 1997
Σειρά:CPHC/BCS distinguished dissertations
Θέματα:

ΒΚΠ - Πατρα: Unknown

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: 511.3 H
Αντίγραφο 1 Στη βιβλιοθήκη