Buscar
Mostrando ítems 1-10 de 71
About И-quantifiers
(2003)
Notions of computation as monoids
(Cambridge University Press, 2017-10)
There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article, we show that these three notions can be seen as instances of a unifying abstract concept: monoids ...
Modes of Adjointness
(Kluwer Academic Publishers, 2014-06)
The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint ...
Notas sobre teorías intensionalesNotes on intensional theories
(Universidad de Caldas, 2011)