( en | de | ru )

 

Disambiguierung von "Uustalu, Tarmo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monads Need Not Be Endofunctors.

, , und . FoSSaCS, Volume 6014 von Lecture Notes in Computer Science, Seite 297-311. Springer, (2010)

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.

Tarmo Ploom

Osama Tarmoom

Tarmo Kulmar

Tarmo Sakari Luoma

Tarmo Sakari Luoma

 

Weitere Publikationen von Autoren mit dem selben Namen

Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)., , und . NII Shonan Meet. Rep., (2013)Dependently typed programming with finite sets., und . WGP@ICFP, Seite 33-44. ACM, (2015)Container Combinatorics: Monads and Lax Monoidal Functors.. TTCS, Volume 10608 von Lecture Notes in Computer Science, Seite 91-105. Springer, (2017)Monads Need Not Be Endofunctors., , und . FoSSaCS, Volume 6014 von Lecture Notes in Computer Science, Seite 297-311. Springer, (2010)Flexibly Graded Monads and Graded Algebras., und . MPC, Volume 13544 von Lecture Notes in Computer Science, Seite 102-128. Springer, (2022)The Sequent Calculus of Skew Monoidal Categories., , und . MFPS, Volume 341 von Electronic Notes in Theoretical Computer Science, Seite 345-370. Elsevier, (2018)Monad Translating Inductive and Coinductive Types.. TYPES, Volume 2646 von Lecture Notes in Computer Science, Seite 299-315. Springer, (2002)Generalizing substitution.. FICS, Volume NS-02-2 von BRICS Notes Series, Seite 9-11. University of Aarhus, (2002)Decomposing Comonad Morphisms., und . CALCO, Volume 139 von LIPIcs, Seite 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Proof Theory of Skew Non-Commutative MILL., , und . NCL, Volume 358 von EPTCS, Seite 118-135. (2022)