Introduction to higher order categorical logic
Introduction to higher order categorical logic
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Representing covert movements by delimited continuations
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
On the semantic relation between nominal and quantity expressions in japanese
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |
The notion of monads originates in homological algebra and category theory: a monad in a category $\mathcal C$ is a triple $\langle{\boldsymbol{T},\eta,\mu}\rangle$ that consists of a functor $\boldsymbol{T}:$ $\mathcal C$ $\longrightarrow $ $\mathcal C$ and two natural transformations: such that the following diagrams commute for any object A in $\mathcal C$.