Evidenced Frames

  • Evidenced Frames: A Unifying Framework Broadening Realizability Models , w. √Čtienne Miquey and Ross Tate, LICS 2021
    Paper [Paper]
    Coq formalization [Coq, html]