Learn More
We present a category of locally convex topological vector spaces which is a model of propo-sitional classical linear logic, based on the standard concept of Köthe sequence spaces. In this setting, the " of course " connective of linear logic has a quite simple structure of commutative Hopf algebra. The co-Kleisli category of this linear category is a(More)
Probabilistic coherence spaces (PCoh) yield a semantics of higher-order probabilistic computation, interpreting types as convex sets and programs as power series. We prove that the equality of interpretations in Pcoh characterizes the operational indistinguishability of programs in PCF with a random primitive. This is the first result of full abstraction(More)