Extensional constructs in intensional type theory
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогч: | |
| Формат: | Ном |
| Хэл сонгох: | Undetermined |
| Хэвлэсэн: |
N.Y
Springer
1997
|
МУҮНомын сан салбар: UB0100000113
| Зохиогчийн тэмдэгт: |
155782 |
|---|---|
| Хуулбар Unknown | Бэлэн Түр хойшлуулалтыг байршуулах |