Pages that link to "Item:Q3189795"
From MaRDI portal
The following pages link to A complete, co-inductive syntactic theory of sequential control and state (Q3189795):
Displaying 12 items.
- Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- The revised report on the syntactic theories of sequential control and state (Q1199538) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- Proving soundness of extensional normal-form bisimilarities (Q2130582) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Q3644766) (← links)
- (Q4461750) (← links)
- Program Equivalence is Coinductive (Q4635889) (← links)
- (Q5377471) (← links)