Pages that link to "Item:Q550253"

The following pages link to Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253):

Displaying 3 items.

• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
• Deep inference and probabilistic coherence spaces (Q452333) (← links)