Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge

vts_7051_9859.pdf (223.1Kb)
23 Seiten
23 Seiten
Veröffentlichung
2010-02-12Contributors
Henke, Friedrich Wilhelm vonRueß, Harald
Bericht
Faculties
Fakultät für Ingenieurwissenschaften und InformatikSeries
Ulmer Informatik-Berichte
Abstract
N/A
Date created
1994
Subject headings
[GND]: Typentheorie[LCSH]: Type theory. Congresses. Abstracts
[DDC subject group]: DDC 004 / Data processing & computer science
Metadata
Show full item recordDOI & citation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-3869
Henke, Friedrich Wilhelm von; Rueß, Harald (2010): Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-3869
Citation formatter >