Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-19-158903-4> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- books?vid=ISBN978-0-19-158903-4 author2link "Thomas Streicher".
- books?vid=ISBN978-0-19-158903-4 chapter "The groupoid interpretation of type theory".
- books?vid=ISBN978-0-19-158903-4 chapterurl books?id=pLnKggT_In4C&pg=PA83.
- books?vid=ISBN978-0-19-158903-4 date "1998".
- books?vid=ISBN978-0-19-158903-4 editor1First "G.".
- books?vid=ISBN978-0-19-158903-4 editor1Last "Sambin".
- books?vid=ISBN978-0-19-158903-4 editor2First "J.M.".
- books?vid=ISBN978-0-19-158903-4 editor2Last "Smith".
- books?vid=ISBN978-0-19-158903-4 first "Martin".
- books?vid=ISBN978-0-19-158903-4 first2 "Thomas".
- books?vid=ISBN978-0-19-158903-4 isCitedBy Homotopy_type_theory.
- books?vid=ISBN978-0-19-158903-4 isbn "978-0-19-158903-4".
- books?vid=ISBN978-0-19-158903-4 last "Hofmann".
- books?vid=ISBN978-0-19-158903-4 last2 "Streicher".
- books?vid=ISBN978-0-19-158903-4 pages "83–112".
- books?vid=ISBN978-0-19-158903-4 publisher "Clarendon Press".
- books?vid=ISBN978-0-19-158903-4 title "Twenty Five Years of Constructive Type Theory".