Matches in DBpedia 2016-04 for { <http://www.andrew.cmu.edu/user/awodey/students/warren.pdf> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- warren.pdf date "2008".
- warren.pdf first "Michael A.".
- warren.pdf format "PDF".
- warren.pdf isCitedBy Homotopy_type_theory.
- warren.pdf last "Warren".
- warren.pdf publisher "Carnegie Mellon University".
- warren.pdf title "Homotopy theoretic aspects of constructive type theory".
- warren.pdf type "Ph.D.".
- warren.pdf url warren.pdf.