nForum - Discussion Feed (Kleisli triple)2024-03-28T21:29:06+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "Kleisli triple" (107748)https://nforum.ncatlab.org/discussion/15404/?Focus=107748#Comment_1077482023-03-15T14:06:04+00:002024-03-28T21:29:06+00:00Urshttps://nforum.ncatlab.org/account/4/
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 ...
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]
]]>
Urs comments on "Kleisli triple" (104261)https://nforum.ncatlab.org/discussion/15404/?Focus=104261#Comment_1042612022-11-05T13:27:04+00:002024-03-28T21:29:06+00:00Urshttps://nforum.ncatlab.org/account/4/
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.
v1, current
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.