Results 251 to 260 of about 29,436 (282)
Some of the next articles are maybe not open access.
Algebraic representation of frame-valued continuous lattices via the open filter monad
Fuzzy Sets and Systems, 2021Wei Yao
exaly
ACM SIGPLAN Symposium/Workshop on Haskell, 2017
Jennifer Paykin, Steve Zdancewic
semanticscholar +1 more source
Jennifer Paykin, Steve Zdancewic
semanticscholar +1 more source
Monadic MV-algebras are Equivalent to Monadic
2011In this paper we extend Mundici?s functor $Gamma$ to the category of monadic MV-algebras. More precisely, we define monadic l-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic l-groups with strong unit. Some applications are given thereof.
Cimadamore, Cecilia Rossana +1 more
openaire +1 more source
The Delay Monad and Restriction Categories
International Colloquium on Theoretical Aspects of Computing, 2017Tarmo Uustalu, Niccolò Veltri
semanticscholar +1 more source
The double power monad is the composite power monad
Fuzzy Sets Syst., 2017Isar Stubbe
semanticscholar +1 more source
Heterotic instantons for monad and extension bundles
Journal of High Energy Physics, 2020Andre Lukas, Burt A Ovrut, Fabian Ruehle
exaly
Haskino: A Remote Monad for Programming the Arduino
International Symposium on Practical Aspects of Declarative Languages, 2016Mark Grebe, Andy Gill
semanticscholar +1 more source
Exploring positive monad bundles and a new heterotic standard model
Journal of High Energy Physics, 2010Yang-Hui He, Andre Lukas
exaly