Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 7bdc60b2-33ee-403d-9cd5-da9f0c1b4b05 |
| isbn | 3540651373 9783540651376 |
| issn | |
| language | eng |
| physical | viii, 372 pages ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©1998 |
| publishDate | ©1998 |
| subjects | |
| title | Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring, eds. |
| topic | Computer logic Type theory Computer logic Type theory Logica. Programmeertalen. Kunstmatige intelligentie. Programacao de computadores. Computer logic Type theory Logique informatique Types, Théorie des Conference papers and proceedings |