Pages that link to "Item:Q1391859"

The following pages link to A representable approach to finite nondeterminism (Q1391859):

Displaying 3 items.

• A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
• Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
• Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)