Auflistung nach Autor "Harwath, Frederik"
Anzeige der Dokumente 1-1 von 1
-
Reasoning about contextual equivalence: From untyped to polymorphically typed Calculi
Sabel, David; Schmidt-Schauß, Manfred; Harwath, Frederik
369-369
- Startseite
- Auflistung nach Autor