Pages that link to "Item:Q418011"

The following pages link to The Scott model of linear logic is the extensional collapse of its relational model (Q418011):

Displaying 1 item.

• A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)