Publication On Correspondence between Selective CPS Transformation and Selective Double Negation Translation Mathematics. 9(4): 385 (2021) Authors Hyeonseung Im Tags formal-methods PDF
