Pages that link to "Item:Q2936770"

The following pages link to A step-indexed model of substructural state (Q2936770):

Displaying 4 items.

• A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation (Q615949) (← links)
• Hoare type theory, polymorphism and separation (Q3546051) (← links)
• (Q5015212) (← links)
• Modelling Unique and Affine Typing Using Polymorphism (Q5410455) (← links)