Media type: E-Book Title: Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge Contributor: Henke, Friedrich Wilhelm von [Author]; Rueß, Harald [Author] Published: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Published in: Ulmer Informatik-Berichte ; 94,08 Extent: Online-Ressource Language: English Identifier: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Type theory. Congresses. Abstracts ; Typentheorie Origination: Footnote: Access State: Open Access