From post

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.

 

Другие публикации лиц с тем же именем

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