Extensional constructs in intensional type theory
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Undetermined |
| Published: |
N.Y
Springer
1997
|
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Undetermined |
| Published: |
N.Y
Springer
1997
|