root
blog/
cv
misc/
Guarded Interaction Trees
tags:
coq
git
call-cc
How to stop worrying and start reasoning about call/cc directly
posted on May 5, 2024
Table of Contents
1
The problem of call/cc
2
Toy example
3
Guarded Interaction Trees
4
Reification
5
Interpretation
6
Soundness
7
Adequacy
1
The problem of call/cc
2
Toy example
3
Guarded Interaction Trees
4
Reification
5
Interpretation
6
Soundness
7
Adequacy