§ Kripke style logical relations (TODO)

• https://www.pls-lab.org/en/Kripke logical relations