Context-Dependent Effects in Guarded Interaction Trees. - Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal (ESOP (2), 2025)

Context-Dependent Effects in Guarded Interaction Trees. - Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal (Zenodo, 2025)

Context-Dependent Effects in Guarded Interaction Trees. - Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal (Zenodo, 2025)