User loginNavigation |
Premonoidal categories and notions of computation
I am currently working through Premonoidal categories and notions of computation.
Eugenio Moggi, in (Moggi 1991), advocated the use of monads, equivalently Kleisli triples, to model what he called notions of computation.As my knowledge of monads and CT is very limited, it's pretty tough... Does anybody have any opinion on the value of this paper and importance of premonoidal categories to CS? Thanks! By Andris Birkmanis at 2005-04-10 13:13 | LtU Forum | previous forum topic | next forum topic | other blogs | 7764 reads
|
Browse archives
Active forum topics |
Recent comments
34 weeks 4 days ago
34 weeks 5 days ago
34 weeks 5 days ago
1 year 4 weeks ago
1 year 9 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago
1 year 13 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago