Types for proofs and programs: selected papers
Berlin [u.a.]: Springer, 1995
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- X, 202 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Types for proofs and programs: selected papers
|
---|---|
Verantwortlichkeitsangabe: | International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994. Peter Dybjer ... (ed.) |
Autor/in / Beteiligte Person: | Dybjer, Peter (1953-) |
Körperschaft: | International Workshop TYPES |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1995 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | X, 202 S. : graph. Darst. |
ISBN: | 3540605797 |
Schlagwort: |
|
Sonstiges: |
|