Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca degree "PhD".
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca first "S.".
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca isCitedBy Pure_type_system.
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca last "Berardi".
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca publisher "University of Torino".
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca title "Type dependence and Constructive Mathematics".
- 5c29a8a18e456d7db9311d4a386da358e0e51848aa043b107527d8e0326b84ca year "1990".