Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/2676726.2676983> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 2676726.2676983 date "2015".
- 2676726.2676983 doi "10.1145/2676726.2676983".
- 2676726.2676983 first "Kristina".
- 2676726.2676983 isCitedBy Homotopy_type_theory.
- 2676726.2676983 journal "Proc. POPL '15".
- 2676726.2676983 last "Sojakova".
- 2676726.2676983 title "Higher Inductive Types as Homotopy-Initial Algebras".
- 2676726.2676983 url "http://dl.acm.org/citation.cfm?id=2676983".