( en | de | ru )

 

Disambiguierung von "ya Katsumata, Shin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Codensity Lifting of Monads and its Dual.

, , und . Log. Methods Comput. Sci., (2018)

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.

Dong-Shin Shin

Ya Zhang

Jeonghun Shin

Kirche als Weltforum: zum Dialogverständnis in kirchlichen Dokumenten seit dem Zweiten Vatikanischen Konzil. Uni München, (2009)

Ya Yang

Ya-Lin Huang

 

Weitere Publikationen von Autoren mit dem selben Namen

Enhanced coinduction (NII Shonan Meeting 2017-17)., , und . NII Shonan Meet. Rep., (2017)Fully abstract models for effectful λ-calculi via category-theoretic logical relations., , und . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)The Lattice-Theoretic Essence of Property Directed Reachability Analysis., , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 235-256. Springer, (2022)Codensity Liftings of Monads., und . CALCO, Volume 35 von LIPIcs, Seite 156-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Towards a Formal Theory of Graded Monads., , und . FoSSaCS, Volume 9634 von Lecture Notes in Computer Science, Seite 513-530. Springer, (2016)Preorders on Monads and Coalgebraic Simulations., und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2013)Codensity Games for Bisimilarity., , , , und . LICS, Seite 1-13. IEEE, (2019)Flexible presentations of graded monads., , , und . Proc. ACM Program. Lang., 6 (ICFP): 902-930 (2022)Graded Hoare Logic and its Categorical Semantics., , , und . CoRR, (2020)Codensity Lifting of Monads and its Dual., , und . Log. Methods Comput. Sci., (2018)