PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Licata, Daniel R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Homotopical patch theory.

, , , und . J. Funct. Program., (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

R. Koerner

R. Watty

Dr. -Ing. Daniel Holder University of Stuttgart

Optimisation Approach for the Convergence Process of Design and Technology in Automotive Development, , und . Interdisciplinary Practice in Industrial Design : Proceedings of the 14th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, 100, Seite 109-118. New York, AHFE Open Access, (2023)

Daniel Holder University of Stuttgart

Daniel Sollich University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Interactive Web Programs., und . ASE, Seite 164-173. IEEE Computer Society, (2004)Gradual type theory., , und . J. Funct. Program., (2021)2-Dimensional Directed Type Theory., und . Electr. Notes Theor. Comput. Sci., (2011)Denotational cost semantics for functional languages with inductive types., , und . CoRR, (2015)A Pronominal Approach to Binding and Computation., , und . TLCA, Volume 5608 von Lecture Notes in Computer Science, Seite 3-4. Springer, (2009)A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory., , , und . LICS, Seite 565-574. ACM, (2016)A Monadic Formalization of ML5, und . LFMTP, Volume 34 von EPTCS, Seite 69-83. (2010)Adjoint Logic with a 2-Category of Modes., und . LFCS, Volume 9537 von Lecture Notes in Computer Science, Seite 219-235. Springer, (2016)A Cubical Approach to Synthetic Homotopy Theory., und . LICS, Seite 92-103. IEEE Computer Society, (2015)A universe of binding and computation., und . ICFP, Seite 123-134. ACM, (2009)