„monads“

Suchergebnisse

1.000+ Treffer

• From Signatures to Monads in UniMath
  Ahrens, Benedikt ; Matthes, Ralph ; Mörtberg, Anders
• Categorical Probability and Stochastic Dominance in Metric Spaces
  Perrone, Paolo 2019 Universitätsbibliothek Leipzig
• Categorical Reconstruction Theory
  Zorman, Tony ; Krähmer, Ulrich ; Stroppel, Catharina 2025 Technische Universität Dresden
• From vulnerability formalization to finitely additive probability monads
  Wolf, Sarah 2010 Freie Universität Berlin
• Kleene monads
  Goncharov, Sergey 2010 Verlag Dr. Hut
• Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
  Díaz-Caro, Alejandro ; Malherbe, Octavio 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Natural Born Monads – On the Metaphysics of Organisms and Human Individuals
  Altobrando, Andrea ; Biasetti, Pierfrancesco 2020 De Gruyter
• Natural Born Monads – On the Metaphysics of Organisms and Human Individuals
  Altobrando, Andrea ; Biasetti, Pierfrancesco 2020 De Gruyter
• Körper, Geist, Monaden – Monadologie und Metaphysik bei Leibniz
  Nicolás, Juan Antonio 2020 Franz Steiner Verlag
• Unifying Theories of Programming – 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
  Wolff, Burkhart ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane 2013 Springer Berlin Heidelberg
• Structured Monads for Generic First-Order Syntax Metatheory
  Dunn, Lawrence ; Tannen, Val ; Zdancewic, Steve
• Correction to: Infinitary Addition, Real Numbers, and Taut Monads
  Janelidze, George ; Street, Ross
• Categories for Automata and Language Theory (Dagstuhl Seminar 25141)
  Blumensath, Achim ; Bojańczyk, Mikołaj ; Klin, Bartek ; Petrişan, Daniela
• Pairs in involution
  Halbig, Sebastian ; Krähmer, Ulrich ; Schweigert, Christoph 2022 Technische Universität Dresden
• Assessing Risk Assessment – Towards Alternative Risk Measures for Complex Financial Systems
  Hoffmann, Christian Hugo 2017 Springer Fachmedien Wiesbaden
• Leibniz on Compossibility and Possible Worlds
  Brown, Gregory ; Chiek, Yual 2016 Springer International Publishing
• Tape Diagrams for Monoidal Monads
  Bonchi, Filippo ; Cioffo, Cipriano Junior ; Di Giorgio, Alessandro ; Di Lavore, Elena 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributive Laws of Monadic Containers
  Purdy, Chris ; Damato, Stefania 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two monads on the category of graphs
  Jenča, Gejza
• Bubble tree compactification of moduli spaces of vector bundles on surfaces
  Markushevich, Dimitri ; Tikhomirov, Alexander ; Trautmann, Günther