Curien, P.-L., Coherence bistructures, unpublished manuscript, Beijing, Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Bistructures, Bidomains and Linear Logic - Curien, Plotkin, Winskel (1997) Self-citation (Curien) (Correct)
....linear models whose co Kleisli categories correspond to the sequential functions. There may even be enough symmetry that one has a model of classical linear logic. In Sections 2 and 3 we give two approaches to bistructures; these represent two independent developments of the ideas of this paper [23, 7]. Section 2 starts from the world of webs and stable domain theory; Section 3 proceeds from that of event structures and continuous domain theory. We introduce bistructures in Section 4, and bistructure morphisms in Section 5. In Section 6 we show (Theorem 1) that bistructures provide a model of ....
Curien, P.-L., Coherence bistructures, unpublished manuscript, Beijing,
Bistructures, Bidomains and Linear Logic - Curien, Plotkin, Winskel Self-citation (Curien) (Correct)
....linear models whose co Kleisli categories correspond to the sequential functions. There may even be enough symmetry that one has a model of classical linear logic. In Sections 2 and 3 we give two approaches to bistructures; these represent two independent developments of the ideas of this paper [23, 7]. Section 2 starts from the world of webs and stable domain theory; Section 3 proceeds from that of event structures and continuous domain theory. We introduce bistructures in Section 4, and bistructure morphisms in Section 5. In Section 6 we show (Theorem 1) that bistructures provide a model of ....
Curien, P.-L., Coherence bistructures, unpublished manuscript, Beijing, 1994.
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