Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-94-007-4435-6_9> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- 978-94-007-4435-6_9 chapter "Type theory and homotopy".
- 978-94-007-4435-6_9 displayEditors "3".
- 978-94-007-4435-6_9 doi "10.1007/978-94-007-4435-6_9".
- 978-94-007-4435-6_9 editor2First "Sten".
- 978-94-007-4435-6_9 editor2Last "Lindström".
- 978-94-007-4435-6_9 editor3First "Erik".
- 978-94-007-4435-6_9 editor3Last "Palmgren".
- 978-94-007-4435-6_9 editor4First "G.".
- 978-94-007-4435-6_9 editor4Last "Sundholm".
- 978-94-007-4435-6_9 editorFirst "P.".
- 978-94-007-4435-6_9 editorLast "Dybjer".
- 978-94-007-4435-6_9 first "Steve".
- 978-94-007-4435-6_9 format "PDF".
- 978-94-007-4435-6_9 isCitedBy Homotopy_type_theory.
- 978-94-007-4435-6_9 isbn "978-94-007-4434-9".
- 978-94-007-4435-6_9 last "Awodey".
- 978-94-007-4435-6_9 pages "183–201".
- 978-94-007-4435-6_9 publisher "Springer".
- 978-94-007-4435-6_9 series "Logic, Epistemology, and the Unity of Science".
- 978-94-007-4435-6_9 title "Epistemology versus Ontology".
- 978-94-007-4435-6_9 url TTH.pdf.
- 978-94-007-4435-6_9 year "2012".