Author of the publication

SOEP 2014 – Methodenbericht zum Befragungsjahr 2014 (Welle 2) des IAB-SOEP-Migrationssamples 2013 (M1)

, and . DIW Berlin, Berlin, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SOEP 2014 – Methodenbericht zum Befragungsjahr 2014 (Welle 31) des Sozio-oekonomischen Panels, , and . DIW Berlin, Berlin, (2016)Homotopy Canonicity for Cubical Type Theory., , and . FSCD, volume 131 of LIPIcs, page 11:1-11:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Model of Type Theory in Cubical Sets, , and . 19th International Conference on Types for Proofs and Programs (TYPES 2013), volume 26 of Leibniz International Proceedings in Informatics (LIPIcs), page 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)The univalence axiom in cubical sets., , and . CoRR, (2017)SOEP 2014 – Methodenbericht zum Befragungsjahr 2014 (Welle 2) des IAB-SOEP-Migrationssamples 2013 (M1), and . DIW Berlin, Berlin, (2016)Differentiable Collision Avoidance Using Collision Primitives., , , , and . IROS, page 8086-8093. IEEE, (2022)The Univalence Axiom in Cubical Sets., , and . J. Autom. Reason., 63 (2): 159-171 (2019)A generalization of the Takeuti-Gandy interpretation., , and . Math. Struct. Comput. Sci., 25 (5): 1071-1099 (2015)A Model of Type Theory in Cubical Sets., , and . TYPES, volume 26 of LIPIcs, page 107-128. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Gluing for Type Theory., , and . FSCD, volume 131 of LIPIcs, page 25:1-25:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)