#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot | Type Theory Forall | Podwise