Stephen Brookes and Shai Geva, Computational comonads and intensional semantics, Applications of Categories in Computer Science, Proceedings of the LMS Symposium (Durham) (M.P. Fourman, P. T. Johnstone, and A.M. Pitts, eds.), London Mathematical Society Lecture Notes, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2002) (Correct)
....delayed computation whose value is M itself. This is similar to eval quote in Lisp [35] or to processes evolving through time, say, starting at t 0 and homing in on their values at t 1, as argued in the (unpublished) paper [22] This is also similar to the viewpoint of Brookes and Geva [9], where comonads ( d, s) are enriched into so called computational comonads, by adding a natural transformation from the identity functor to [ allowing to lift any value, not just any computation, to a computation; must be such that d o F = idF and s o F = DF o F. In , such a ....
Stephen Brookes and Shai Geva, Computational comonads and intensional semantics, Applications of Categories in Computer Science, Proceedings of the LMS Symposium (Durham) (M.P. Fourman, P. T. Johnstone, and A.M. Pitts, eds.), London Mathematical Society Lecture Notes, 1991.
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2001) (Correct)
....computation M to a doubly delayed computation whose value is M itself. This is similar to eval quote in Lisp [32] or to processes evolving through time, say, starting at t = 0 and homing in on their values at t = 1, as argued in [22] This is also similar to the viewpoint of Brookes and Geva [9], where comonads (2; d; s) are enriched into so called computational comonads, by adding a natural transformation from the identity functor to 2 allowing to lift any value, not just any computation, to a computation; must be such that d F = id F and s F = 2F F . In b , such a ....
Stephen Brookes and Shai Geva, Computational comonads and intensional semantics, Applications of Categories in Computer Science, Proceedings of the LMS Symposium (Durham) (M. P. Fourman, P. T. Johnstone, and A. M. Pitts, eds.), London Mathematical Society Lecture Notes, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC