Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge
Bericht
Beteiligte Personen
Henke, Friedrich Wilhelm vonRueß, Harald
Fakultäten
Fakultät für Ingenieurwissenschaften und InformatikUlmer Schriftenreihe
Ulmer Informatik-Berichte
Zusammenfassung
N/A
Erstellung / Fertigstellung
1994
Normierte Schlagwörter
Typentheorie [GND]Type theory. Congresses. Abstracts [LCSH]
DDC-Sachgruppe
DDC 004 / Data processing & computer scienceMetadata
Zur LanganzeigeZitiervorlage
Henke, Friedrich Wilhelm von; Rueß, Harald (2010): Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-3869