Pages that link to "Item:Q3644766"
From MaRDI portal
The following pages link to A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Q3644766):
Displayed 6 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation (Q615949) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- (Q5377471) (← links)