Author: Urs Format: MarkdownItexJust for completeness, I am giving this term its own little entry, to make it easier for the reader to understand what it is they are being pointed to.
<a href="https://ncatlab.org/nlab/revision/Kleisli+triple/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Kleisli+triple">current</a>
Just for completeness, I am giving this term its own little entry, to make it easier for the reader to understand what it is they are being pointed to.
Author: Urs Format: MarkdownItexadded pointer to:
* [[Eugenio Moggi]], Def. 1.2 in: *Computational lambda-calculus and monads*, in: *Proceedings of the Fourth Annual Symposium on Logic in Computer Science* (1989) 14-23 [[doi:10.1109/LICS.1989.39155](https://doi.org/10.1109/LICS.1989.39155)]
<a href="https://ncatlab.org/nlab/revision/diff/Kleisli+triple/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Kleisli+triple/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Kleisli+triple">current</a>
added pointer to:
Eugenio Moggi, Def. 1.2 in: Computational lambda-calculus and monads, in: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989) 14-23 [doi:10.1109/LICS.1989.39155]