Pages that link to "Item:Q5145648"

The following pages link to Cones as a model of intuitionistic linear logic (Q5145648):

Displaying 3 items.

• Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
• (Q5101335) (← links)
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)