Extensional constructs in intensional type theory
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Undetermined |
| Published: |
N.Y
Springer
1997
|
МУҮНомын сан салбар: UB0100000113
| Call Number: |
155782 |
|---|---|
| Copy Unknown | Available Place a Hold |