Extensional constructs in intensional type theory
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогч: | |
| Формат: | Ном |
| Хэл сонгох: | Undetermined |
| Хэвлэсэн: |
N.Y
Springer
1997
|
| Биет тодорхойлолт: | 215 |
|---|---|
| ISBN: | 3-540-76121-7 |
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогч: | |
| Формат: | Ном |
| Хэл сонгох: | Undetermined |
| Хэвлэсэн: |
N.Y
Springer
1997
|
| Биет тодорхойлолт: | 215 |
|---|---|
| ISBN: | 3-540-76121-7 |