Marcelo da S. Correa, Edward H. Haeusler, and Valeria C.V. de Paiva. A dialectica model of state. In Proceedings of Computing: The Australasian Theory Symposium (CATS'96), January 1996. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Categorical Modeling of a State Oriented Version of Linear Logic - Tucker (Correct)
....we have found that Valeria De Paiva s Dialectica Categories [de Paiva, 1989] which already provide a class of models for Linear Logic, also allow for a non commutative tensor and as such are directly applicable as a semantic model for LLMS. This connection has already been partially explored in [da S. Correa et al. 1996] for a variant of Reddy s system called LLMS c , with the new tensor relaxed to be commutative, motivated by considering it as an interleaving operator, representing concurrent execution without interaction or synchronization. We will show that initial thoughts on how to model serialization in ....
Marcelo da S. Correa, Edward H. Haeusler, and Valeria C.V. de Paiva. A dialectica model of state. In Proceedings of Computing: The Australasian Theory Symposium (CATS'96), January 1996.
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