Pages that link to "Item:Q5739359"
From MaRDI portal
The following pages link to From Applicative to Environmental Bisimulation (Q5739359):
Displayed 6 items.
- Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Applicative Bisimulation and Quantum λ-Calculi (Q3455863) (← links)
- (Q5155688) (← links)
- (Q5377471) (← links)