Type Theory Comes of Age.
In: Communications of the ACM, Jg. 53 (2010-02-01), Heft 2, S. 16-17
Online
serialPeriodical
Zugriff:
Titel: |
Type Theory Comes of Age.
|
---|---|
Autor/in / Beteiligte Person: | Wright, Alex |
Link: | |
Zeitschrift: | Communications of the ACM, Jg. 53 (2010-02-01), Heft 2, S. 16-17 |
Veröffentlichung: | 2010 |
Medientyp: | serialPeriodical |
ISSN: | 0001-0782 (print) |
DOI: | 10.1145/1646353.1646361 |
Sonstiges: |
|