Context-Dependent Effects in Guarded Interaction Trees.

Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, Lars Birkedal

Browse the full ESOP paper archive.