Skip to Content
STAX
Toggle navigation
STAX
Anmeldung
Startseite
Impressum
Hilfe
Kontakt
Suche STAX
Suchen
Suchen
Filter löschen
Filtern nach:
Schöpfer
Dagand, Pierre-Évariste
Filter Schöpfer: Dagand, Pierre-Évariste entfernen
Datum
2013
Filter Datum: 2013 entfernen
1
Eintrag gefunden
Ordnen nach relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse, die pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Ergebnisse ansehen als:
Liste
Gallery
Slideshow
Suchergebnisse
A cosmology of datatypes : reusability and dependent types
Schöpfer:
Dagand, Pierre-Évariste
Datum:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
Suche beschränken
Art
Thesis
1
Ressourcentyp
Doctoral thesis
1
Schöpfer
Dagand, Pierre-Évariste
[remove]
1
Abteilung, Schule oder Fakultät
Department of Computer and Information Sciences
1
Datum
2013
[remove]
1