Guarded Interaction Trees

May 5, 2024

How to stop worrying and start reasoning about call/cc directly