| Item Type: |
Book
|
| Erschienen: |
1995 |
| Creators: |
Hofmann, Martin |
| Type of entry: |
Bibliographie |
| Title: |
Extensional concepts in intensional type theory |
| Language: |
German |
| Date: |
1995 |
| Place of Publication: |
Edinburgh |
| Publisher: |
Univ., Dept. of computer science |
| Collation: |
XI,288 S. |
| Edition: |
Edinburgh: Univ., Dept. of Computer Science, 1995. XI,288 S. |
| Additional Information: |
Phil. Thesis v. 1995 |
| Divisions: |
04 Department of Mathematics |
| Date Deposited: |
19 Nov 2008 16:25 |
| Last Modified: |
26 Aug 2018 21:22 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
Drucken
Impressum