Extensional constructs in intensional type theory
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Undetermined |
| Published: |
N.Y
Springer
1997
|
| Physical Description: | 215 |
|---|---|
| ISBN: | 3-540-76121-7 |
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Undetermined |
| Published: |
N.Y
Springer
1997
|
| Physical Description: | 215 |
|---|---|
| ISBN: | 3-540-76121-7 |