V. R. Pratt, "Types as Processes, via Chu spaces", EXRESS'97 Proceedings, 1997. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Extending T-Norms Beyond [0,1]: Relevant Results of Semigroup.. - Kreinovich, Yam (1999) (Correct)
....theorem, simple semigroups are in 1 1 correspondence with functions Y Theta X H . Such functions form the basis of a new approach to foundations of concurrency and foundations of computer science in general which is promoted by V. R. Pratt from Stanford under the name of Chu spaces (see, e. g, [5, 6, 7, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23]) Thus, a general extension of t norms naturally leads us to Chu spaces. Auxiliary Results and Their Relationship With the Existence and Borderline Character of Classical Truth Values. According to [1] Theorem 1.8, and [11] Theorem 1.4.2, if a compact topological semigroup S is not a group ....
V. R. Pratt, "Types as Processes, via Chu spaces", EXRESS'97 Proceedings, 1997.
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