Extensional constructs in intensional type theory
| Главный автор: | |
|---|---|
| Соавтор: | |
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
N.Y
Springer
1997
|
МУҮНомын сан салбар: UB0100000113
| Шифр: |
155782 |
|---|---|
| Копировать Unknown | Доступно Поместить задолженность |