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