Media type: E-Book Title: Dynamic opacity for abstract types Contributor: Rossberg, Andreas [Other] Published: [S.l.]: Saarländische Universitäts- und Landesbibliothek / Naturwissenschaftlich-Technische Fakultät I, 2004 Extent: Online-Ressource Language: English Identifier: Keywords: Typisierter Lambda-Kalkül Origination: Footnote: Access State: Open Access