Pages that link to "Item:Q2464730"
From MaRDI portal
The following pages link to Axioms for control operators in the CPS hierarchy (Q2464730):
Displaying 6 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Proving soundness of extensional normal-form bisimilarities (Q2130582) (← links)
- (Q4957791) (← links)
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy (Q5310642) (← links)
- Computer Science Logic (Q5311275) (← links)
- (Q5377471) (← links)